docs: public Enumeration getInitParameterNames() {
          final LinkedList<String> keys = new LinkedList<String>(_parameters.keySet());
          return new Enumeration() {
  
              public boolean hasMoreElements() {
                  return keys.isEmpty();
              }
  
              public Object nextElement() {
                  return keys.pop();
              }
          };
      }