Revised comments in parts of Printer.java,