default_authenticator = def_auth; }
defaultAuthenticator = defAuth; }
setDefault(Authenticator def_auth){  SecurityManager sm = System.getSecurityManager();  if (sm != null)    sm.checkPermission(new NetPermission("setDefaultAuthenticator"));  default_authenticator = def_auth;} 