28     public void run(String classPath, PrintWriter pw) throws IOException {  in run()  argument
29         StringReader stringReader = new DumpStringReader(pw);  in run()
42                 pw.flush();  in run()
53         private final PrintWriter pw;  field in StringDumper.DumpStringReader
56         public DumpStringReader(PrintWriter pw) {  in DumpStringReader()  argument
57             this.pw = pw;  in DumpStringReader()
64                     pw.println(className.replace('/', '.'));  in visitString()
66                 pw.print("\t");  in visitString()
68                     pw.print(line + ": ");  in visitString()
69                 pw.print(escapeStringLiteral(value));  in visitString()
70                 pw.println();  in visitString()