public static void initEnv() throws NamingException { if (initialized) { return; } InitialNaming.setNameSpace(new BasicNameSpace()); InitialNaming.bind(DeviceManager.NAME, DeviceManager.INSTANCE); AliasManager alias_mgr = new DefaultAliasManager(new DummyExtensionPoint()).createAliasManager(); InitialNaming.bind(AliasManager.NAME, alias_mgr); InitialNaming.bind(ShellManager.NAME, new DefaultShellManager()); InitialNaming.bind(HelpFactory.NAME, new DefaultHelpFactory()); BasicConfigurator.configure(); initialized = true; }