text: 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;}