out.println("</i></p>");
// print any caveats about this filter's operation.
out.println("<span class='doNotPrint'>");
out.flush();
filter.service(inStream, outStream, env);
out.println("</span>");
}
/** print out the resulting metrics. */
private void printMetrics(LOCDiff diff) {