public PrintStream(File file, String csn) throws FileNotFoundException,UnsupportedEncodingException {super(new FileOutputStream(file));if (csn == null) {throw new NullPointerException();}if (!Charset.isSupported(csn)) {throw new UnsupportedEncodingException(csn);}encoding = csn;}

public PrintStream(java.io.File file, string csn) : base(new java.io.FileOutputStream(file)){if (csn == null){throw new System.ArgumentNullException();}if (!java.nio.charset.Charset.isSupported(csn)){throw new java.io.UnsupportedEncodingException(csn);}encoding = csn;}
