docs: public static void printHeaders(HttpServletRequest request) {
  		Enumeration<String> e = request.getHeaderNames();
  		while (e.hasMoreElements()) {
  			String name = e.nextElement();
  			String value = request.getHeader(name);
  			logger.info("header " + name + ":" + value);
  		}
  	}