public Enumeration<String> getHeaders(String s) {
   String[] values = headerMap.get(s);
   if (values == null) {
     return null;
   }
   return Collections.enumeration(Arrays.asList(values));
 }
 /** Returns an enumeration of the attribute names. */
 public Enumeration<String> getAttributeNames() {
   synchronized (_attributes) {
     return Collections.enumeration(_attributes.keySet());
   }
 }
 /** Gets the init params */
 public Enumeration<String> getInitParameterNames() {
   return Collections.enumeration(_initParams.keySet());
 }
 public Enumeration<Locale> getLocales() {
   return Collections.enumeration(locales);
 }
 public Enumeration getAttributeNames() {
   return Collections.enumeration(attributeMap.keySet());
 }
 public Enumeration<String> getHeaderNames() {
   return Collections.enumeration(headerMap.keySet());
 }
 public Enumeration getParameterNames() {
   return Collections.enumeration(parameterMap.keySet());
 }
 public Enumeration getInitParameterNames() {
   //noinspection unchecked
   return Collections.enumeration(map.keySet());
 }