code: public Enumeration<String> getInitParameterNames() {
          ServletConfig sc = getServletConfig();
          if (sc == null) {
              throw new IllegalStateException(
                  lStrings.getString("err.servlet_config_not_initialized"));
          }
  
          return sc.getInitParameterNames();
      }
docs: Returns the names of the servlet's initialization parameters
  as an <code>Enumeration</code> of <code>String</code> objects,
  or an empty <code>Enumeration</code> if the servlet has no
  initialization parameters.  See {@link
  ServletConfig#getInitParameterNames}.
  
  <p>This method is supplied for convenience. It gets the
  parameter names from the servlet's <code>ServletConfig</code> object.
  
  
  @return Enumeration 	an enumeration of <code>String</code>
  objects containing the names of
  the servlet's initialization parameters