public BufferedWriter(Writer out, int size) {super(out);if (size <= 0) {throw new IllegalArgumentException("size <= 0");}this.out = out;this.buf = new char[size];}

public BufferedWriter(java.io.Writer @out, int size) : base(@out){if (size <= 0){throw new System.ArgumentException("size <= 0");}this.@out = @out;this.buf = new char[size];}
