public PushbackInputStream(InputStream in) {super(in);buf = (in == null) ? null : new byte[1];pos = 1;}

public PushbackInputStream(java.io.InputStream @in) : base(@in){buf = (@in == null) ? null : new byte[1];pos = 1;}
