if ((buffer == null) || (buffersize != buffer.length)) {
if (buffer == null || buffersize != buffer.length) {
    public void ReInit(java.io.Reader dstream, int startline, int startcolumn, int buffersize) {        inputStream = dstream;        line = startline;        column = startcolumn - 1;        if ((buffer == null) || (buffersize != buffer.length)) {            available = bufsize = buffersize;            buffer = new char[buffersize];            bufline = new int[buffersize];            bufcolumn = new int[buffersize];        }        prevCharIsLF = prevCharIsCR = false;        tokenBegin = inBuf = maxNextCharInd = 0;        bufpos = -1;    }