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