code: private static Properties getFilterInitParameters(final FilterConfig config) {
  	
  		Properties props = new Properties();
  	
  		Enumeration en = config.getInitParameterNames();
  		
  		while (en.hasMoreElements()) {
  			
  			String key = (String)en.nextElement();
  			String value = config.getInitParameter(key);
  			
  			props.setProperty(key, value);
  		}
  	
  		return props;
  	}
docs: Converts the initial filter parameters (typically specified in the
  {@code web.xml} file) to a Java properties hashtable. The parameter
  names become property keys.
  
  @param config The filter configuration.
  
  @return The context parameters as Java properties.