System.exit(1);
}
// Set the authenticator which is called back when a
// protected web resource is requested and authentication data is
// needed.
Authenticator.setDefault(new HttpAuthenticator(container));
// log a machine name, port number per Jagadesh's request
_logger.log(Level.INFO, "acc.orb_host_name", host);
_logger.log(Level.INFO, "acc.orb_port_number", port);