6869707172737475767778
printMetrics(diff); out.println("<hr>"); diff.displayHTMLRedlines(out); out.println("</body></html>"); diff.dispose(); } private String getFileContents(char letter) { // check for an uploaded file. byte[] fileContents =