code: public ObjectName getSessionManager()
      {
          SessionManager sm=_servletHandler.getSessionManager();
          if (sm==null)
              return null;
          ObjectName[] on=getComponentMBeans(new Object[]{sm},null);
          return on[0];
      }
docs: /* ------------------------------------------------------------