FileOutputStream streamOut = null;
PrintWriter writerOut = null;
try {
streamOut = new FileOutputStream(fileName);
writerOut = new PrintWriter(new EscapedWriter(
new OutputStreamWriter(streamOut)));
Printer printer = Printer.v();
printer.setOption(Integer.MAX_VALUE);
printer.printTo(theClass, new java.io.PrintWriter(writerOut));