protected void doErrorReport(HttpServletRequest req, HttpServletResponse res)
      throws ToolException, IOException {
    portal.setupForward(req, res, null, null);

    ErrorReporter err = new ErrorReporter();
    err.postResponse(req, res);
  }
 protected void doError(HttpServletRequest req, HttpServletResponse res, Throwable t) {
   ErrorReporter err = new ErrorReporter();
   err.report(req, res, t);
 }