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