code: @SuppressWarnings("unchecked")
      public Enumeration<String> getInitParameterNames() {
          List<String> initParameterNames = Collections.list(servletConfig.getInitParameterNames());
          initParameterNames.addAll(additionalConfigurations.keySet());
          return Collections.enumeration(initParameterNames);
      }
docs: <p>getInitParameterNames.</p>
  
  @return a {@link java.util.Enumeration} object.