public PushbackReader(Reader in, int size) {super(in);if (size <= 0) {throw new IllegalArgumentException("size <= 0");}buf = new char[size];pos = size;}

public PushbackReader(java.io.Reader @in, int size) : base(@in){if (size <= 0){throw new System.ArgumentException("size <= 0");}buf = new char[size];pos = size;}
