String portArg = "-DOAPort=" + Integer.toString(DEBUG_NAMESERVER_PORT);
String portArg = "-DOAPort=" + Integer.toString(STANDALONE_NAMESERVER_PORT);
        public void run() {            String portArg = "-DOAPort=" + Integer.toString(DEBUG_NAMESERVER_PORT);            String ORBArg = "-Dorg.omg.CORBA.ORBClass=" + ORB_CLASS;            String[] nameServerArgs = {portArg, ORBArg};            NameServer.main(nameServerArgs);        }