class HttpRequestWrapper extends HttpServletRequestWrapper implements RequestWithSession {

  public String encodeURL(String url) {
    return manager.encodeUrl(this, url);
  }

  public  HttpRequestWrapper(HttpServletRequest req, ServletContext servletContext);

}