} else {
out.println("<h1>LOC Differences</h1>");
}
// print line describing the language filter in use
LanguageFilter filter = diff.getFilter();
out.print("<p><i>Using </i><tt><b>");
out.print(AbstractLanguageFilter.getFilterName(filter));
out.print("</b></tt><i> filter");
String options = getParameter("options");
if (options != null && options.length() > 0) {
out.print(" with options</i><tt><b> ");
out.print(options);
out.print(" </b></tt><i>");
}
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>");
}