/** Return buffered contents of SourcePrinter. */ public String getSource() { return printer.getSource(); }