class HttpResponseWrapper extends HttpServletResponseWrapper implements ResponseWithSessionId {

  @Override
  public final void sendError(int sc) throws IOException {
    request.propagateSession();
    super.sendError(sc);
  }

    HttpResponseWrapper(HttpRequestWrapper request, HttpServletResponse response);

}