docs: public void doFilter(ServletRequest request, ServletResponse response,
  			FilterChain chain) throws IOException, ServletException {
  		HttpServletRequest httpServletRequest = WebFilter.request.get();
  		
  		try {
  			WebFilter.request.set((HttpServletRequest) request);
  			chain.doFilter(request, response);
  		} finally {
  			WebFilter.request.set(httpServletRequest);
  		}
  	}