text: public final void yyreset(java.io.Reader reader) {zzReader = reader;zzAtBOL  = true;zzAtEOF  = false;zzEOFDone = false;zzEndRead = zzStartRead = 0;zzCurrentPos = zzMarkedPos = 0;zzFinalHighSurrogate = 0;yyline = yychar = yycolumn = 0;zzLexicalState = YYINITIAL;if (zzBuffer.length > ZZ_BUFFERSIZE)zzBuffer = new char[ZZ_BUFFERSIZE];}