An unconventional Java lexer generator