  public Enumeration<String> getInitParameterNames() {
    Vector<String> v = new Vector<String>();
    v.add("a String");
    return v.elements();
  }

  public Enumeration<String> getInitParameterNames() {
    Vector<String> v = new Vector<String>();
    v.add(ServletRequest.getInputString());
    return v.elements();
  }
