private void appendStrBuf(char c){
  if (strBufLen == strBuf.length) {
    char[] newBuf=new char[strBuf.length + Tokenizer.BUFFER_GROW_BY];
    System.arraycopy(strBuf,0,newBuf,0,strBuf.length);
    Portability.releaseArray(strBuf);
    strBuf=newBuf;
  }
  strBuf[strBufLen++]=c;
}

private void appendStrBuf ( char c ) { if ( strBufLen == strBuf . length ) { char [ ] newBuf = new char [ strBuf . length + Tokenizer . BUFFER_GROW_BY ] ; System . arraycopy ( strBuf , 0 , newBuf , 0 , strBuf . length ) ; Portability . releaseArray ( strBuf ) ; strBuf = newBuf ; } strBuf [ strBufLen ++ ] = c ; }
appends to the smaller buffer .
