public PrintStream (OutputStream out, boolean auto_flush)
public PrintStream (File file) throws FileNotFoundException
  public PrintStream (OutputStream out, boolean auto_flush)  {    super (out);    try {	this.encoding = System.getProperty("file.encoding");    } catch (SecurityException e){	this.encoding = "ISO8859_1";    } catch (IllegalArgumentException e){	this.encoding = "ISO8859_1";    } catch (NullPointerException e){	this.encoding = "ISO8859_1";    }    this.auto_flush = auto_flush;  }