Index: trunk/.settings/sf.eclipse.javacc.prefs
===================================================================
--- trunk/.settings/sf.eclipse.javacc.prefs	(revision 7212)
+++ trunk/.settings/sf.eclipse.javacc.prefs	(revision 7326)
@@ -1,4 +1,4 @@
 CLEAR_CONSOLE=true
-JAVACC_OPTIONS=-GRAMMAR_ENCODING\=UTF-8
+JAVACC_OPTIONS=-JDK_VERSION\=1.7 -GRAMMAR_ENCODING\=UTF-8
 JJDOC_OPTIONS=
 JJTREE_OPTIONS=