public PrintStream (OutputStream out, boolean af)
public PrintStream (OutputStream out)
  public PrintStream (OutputStream out, boolean af)  {    super(out);    if (out instanceof BufferedOutputStream)      this.out = (BufferedOutputStream) out;    else      {        this.out = new BufferedOutputStream(out, 250);	/* PrintStream redefines "out". Explicitly reset FilterOutputStream's	 * "out" so that they're referring to the same thing. */	super.out = this.out;          }    converter = UnicodeToBytes.getDefaultEncoder();    error = false;    auto_flush = af;  }