A small fix for JavaCC 4.2's code generation

12 Dec 2008

JavaCC 4.2 was released a few weeks ago, but there was a small problem (spotted by Xavier Le Vourch and patch submitted by rafiyr) which results in the generated JJTree code not using Java 1.5 language constructs.

rafiyr's patch looks good to me, the tests all pass, and a rebuilt javacc.jar file is here if anyone wants to give it a try. I'll commit this in a couple days unless any problems crop up...