code: public void postDeregister()
      {
          _configuration=null;   
          try
          {
              if (null!=_jettyServer)
                  _jettyServer.stop();
          }
          catch(Exception e)
          {
              log.warn(e);
          }
          finally
          {
              super.postDeregister();
          }
          
      }
docs: /* ------------------------------------------------------------