code: public static String getServletParameter(HttpServlet servlet, String name, Set<GetOpts> opts, String defaultValue)
  	{
  		return getServletParameter((ServletConfig)servlet, name, opts, defaultValue);
  	}
docs: /* getServletParameter(HttpServlet...) HttpServlet implements ServletConfig as well as Servlet...