107108109110111112113114115116117
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 =