public PrintStream(OutputStream out) {super(out);if (out == null) {throw new NullPointerException();}}

public PrintStream ( OutputStream out ) { super ( out ) ; if ( out == null ) { throw new NullPointerException ( ) ; } }
public PrintStream(java.io.OutputStream @out) : base(@out){if (@out == null){throw new System.ArgumentNullException();}}
