72     private String DefRealm = null;
73     private String HelpURL = null;
88 	String line = null, Name = null, Server = "", Port = "0";  in Krb5Conf()
110 	    String s = t.nextToken();  in Krb5Conf()
144 			Name = new String(s);  in Krb5Conf()
151 			    Server = new String(s);  in Krb5Conf()
154 				Port = new String(s);  in Krb5Conf()
178     public String getDefaultRealm() {  in getDefaultRealm()
182     public String getHelpURL() {  in getHelpURL()
186     public String getAllRealms() {  in getAllRealms()
187 	String s = "";  in getAllRealms()
190 	    s = new String(s + " " + r.RealmName);  in getAllRealms()
195     public String getRealmServer(String realm) {  in getRealmServer()
204     public String getRealmPort(String realm) {  in getRealmPort()
214 	String RealmName;
215 	String AdminServer;
216 	String ServerPort;
218 	public RealmInfo(String name, String server, String port) {  in RealmInfo()
219 	    RealmName = new String(name);  in RealmInfo()
220 	    AdminServer = new String(server);  in RealmInfo()
221 	    ServerPort = new String(port);  in RealmInfo()
225     public static void main(String[] args) {  in main()
231 	    String r = t.nextToken();  in main()
232 	    String s = c.getRealmServer(r);  in main()
233 	    String p = c.getRealmPort(r);  in main()