Generated JFlex Lexer