log.info("unregistred from " + registry);
String name = RMI_SERVER_PREFIX + server.getServerID(); registry.unbind(name); log.info("unregistred " + name + " from registry");
      public void run()      {         log.info("shutting down the VM");         try         {            // unregister myself from the RMI registry            Registry registry = LocateRegistry.getRegistry(DEFAULT_REGISTRY_PORT);            registry.unbind(RMI_SERVER_PREFIX + server.getServerIndex());            log.info("unregistred from " + registry);         }         catch(Exception e)         {            log.error("Failed to unregister", e);         }         try         {            Thread.sleep(250);         }         catch(Exception e)         {            log.warn("interrupted while sleeping", e);         }         System.exit(0);      }