code: public ServletHolder[] getServlets()
      {
          // Sort and Initialize servlets
          HashSet holder_set = new HashSet(_nameMap.size());
          holder_set.addAll(_nameMap.values());
          ServletHolder holders [] = (ServletHolder [])
              holder_set.toArray(new ServletHolder [holder_set.size()]);
          java.util.Arrays.sort (holders);
          return holders;
      }
docs: Get Servlets.
  @return Array of defined servlets