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 ( 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;}
