out.println("</" + DIFFREPORT + ">");
out.println("</" + DIFFREPORT + '>');
    protected void writeFooter()    {        PrintStream out = getOutputStream();        out.println("</" + DIFFREPORT + ">");    }