break;
case 8:
if (jjmatchedPos == -1) {
if (jjbeenHere[3] && jjemptyLineNo[3] == input_stream.getBeginLine()
&& jjemptyColNo[3] == input_stream.getBeginColumn())
throw new TokenMgrError(
("Error: Bailing out of infinite loop caused by repeated empty string matches at line "
+ input_stream.getBeginLine() + ", column " + input_stream.getBeginColumn() + "."),
TokenMgrError.LOOP_DETECTED);
jjemptyLineNo[3] = input_stream.getBeginLine();
jjemptyColNo[3] = input_stream.getBeginColumn();