public TabbedPrintWriter(Writer writer) { p =  new PrintWriter(writer);  this.pos = 0; }
private TabbedPrintWriter() {}
  public TabbedPrintWriter(Writer writer) {    p =  new PrintWriter(writer);    this.pos = 0;  }