code: public Enumeration getInitParameterNames()
      {
          if (_initParams==null)
              return Collections.enumeration(Collections.EMPTY_LIST);
          return Collections.enumeration(_initParams.keySet());
      }
docs: /* ------------------------------------------------------------