Java lexer for En_old