public void unread(int oneChar) throws IOException {synchronized (lock) {checkNotClosed();if (pos == 0) {throw new IOException("Pushback buffer full");}buf[--pos] = (char) oneChar;}}

public virtual void unread(int oneChar){lock (@lock){checkNotClosed();if (pos == 0){throw new System.IO.IOException("Pushback buffer full");}buf[--pos] = (char)oneChar;}}
