public String toString() { SourcePrinter printer = new SourcePrinter(); toSource(printer); return printer.toString(); }