/**
   * Return an <code>Enumeration</code> of the names of the initialization parameters for this
   * Filter.
   */
  @Override
  public Enumeration<String> getInitParameterNames() {
    Map<String, String> map = filterDef.getParameterMap();

    if (map == null) {
      return Collections.enumeration(emptyString);
    }

    return Collections.enumeration(map.keySet());
  }
  /**
   * Return a <code>String</code> containing the value of the named initialization parameter, or
   * <code>null</code> if the parameter does not exist.
   *
   * @param name Name of the requested initialization parameter
   */
  @Override
  public String getInitParameter(String name) {

    Map<String, String> map = filterDef.getParameterMap();
    if (map == null) {
      return (null);
    }

    return map.get(name);
  }
  /**
   * Return an <code>Enumeration</code> of the names of the initialization parameters for this
   * Filter.
   */
  public Enumeration getInitParameterNames() {

    Map map = filterDef.getParameterMap();
    if (map == null) return (new Enumerator(new ArrayList()));
    else return (new Enumerator(map.keySet()));
  }
  /**
   * Return a <code>String</code> containing the value of the named initialization parameter, or
   * <code>null</code> if the parameter does not exist.
   *
   * @param name Name of the requested initialization parameter
   */
  public String getInitParameter(String name) {

    Map map = filterDef.getParameterMap();
    if (map == null) return (null);
    else return ((String) map.get(name));
  }
 public Map<String, String> getFilterInitParameterMap() {
   return Collections.unmodifiableMap(filterDef.getParameterMap());
 }