public KjcPrettyPrinter(String fileName) { try { this.p = new TabbedPrintWriter( new java.io.BufferedWriter(new java.io.FileWriter(fileName))); } catch (Exception e) { e.printStackTrace(); System.err.println("cant write: " + fileName + e); }
public KjcPrettyPrinter() {
  public KjcPrettyPrinter(String fileName) {    try {      this.p = new TabbedPrintWriter(	 new java.io.BufferedWriter(new java.io.FileWriter(fileName)));    } catch (Exception e) {      e.printStackTrace();      System.err.println("cant write: " + fileName + e);    }  }