--- pom.xml	2011-08-09 16:55:35.000000000 +0200
+++ pom.xml-gil	2011-08-09 17:10:10.735395194 +0200
@@ -50,6 +50,9 @@
 				<groupId>org.codehaus.mojo</groupId>
 				<artifactId>javacc-maven-plugin</artifactId>
 				<version>2.4</version>
+				<configuration>
+					<jdkVersion>1.4</jdkVersion>
+				</configuration>
 				<executions>
 					<execution>
 						<id>javacc</id>