165166167168169170171172173174175
} else { pw = new PrintWriter( System.out ); } if ( tracer != null ) { tracer.printToWriter( pw ); pw.flush(); } if ( needsClosing ) { pw.close(); }
100101102103104105106107108109110
if ( tracer != null ) { StringWriter sw = new StringWriter(); PrintWriter pw = new PrintWriter( sw ); tracer.printToWriter( pw ); pw.flush(); sw.flush(); retCode = sw.toString(); }