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));
// theClass.printJimpleStyleTo(writerOut, 0);
} catch (Exception e) {
System.out.println("JimpleWriter.internalTransform(): "
+ "Failed to output jimple for file '" + fileName