System.arraycopy(pushbackChars, 0, pushbackChars2, 0, pushbackChars.length) ;
pushbackChars = pushbackChars2 ;
// throw new JenaException("Pushback buffer overflow") ;
}
if ( ch == EOF || ch == UNSET )
throw new JenaException("Illegal character to push back: " + ch) ;
idxPushback++ ;
pushbackChars[idxPushback] = (char)ch ;
}