add Java 5 EBNF