class HttpResponseWrapper extends HttpServletResponseWrapper implements ResponseWithSessionId {

  @Override
  public final void sendRedirect(String location) throws IOException {
    request.propagateSession();
    super.sendRedirect(location);
    closeOutput();
  }

    HttpResponseWrapper(HttpRequestWrapper request, HttpServletResponse response);

}