359360361362363364365366367368369
PortalPrinter printer = new PortalPrinter(response_.getOutputStream(), true, 30000); // if (HtmlValidator.DEBUG_MODE) { writer_ = new WriterPrinter(new HtmlValidator(printer)); } else { writer_ = printer; }
332333334335336337338339340341342