code: @Override
      public Enumeration<String> getInitParameterNames() {
          Enumeration<String> result = Collections.enumeration(this.parametersMap.keySet());
          return result;
      }
docs: /* (non-Javadoc)
  @see javax.portlet.filter.FilterConfig#getInitParameterNames()