Index: src/org/javacc/jjdoc/build.xml =================================================================== RCS file: /cvs/javacc/src/org/javacc/jjdoc/build.xml,v retrieving revision 1.3 diff -r1.3 build.xml 49c49 < source="1.4" --- > source="1.5" Index: src/org/javacc/jjtree/JJTree.java =================================================================== RCS file: /cvs/javacc/src/org/javacc/jjtree/JJTree.java,v retrieving revision 1.11 diff -r1.11 JJTree.java 76c76 < p(" JDK_VERSION (default \"1.4\")"); --- > p(" JDK_VERSION (default \"1.5\")"); 206c206 < JJTreeGlobals.jjtreeOptions.put("JDK_VERSION", "1.4"); --- > JJTreeGlobals.jjtreeOptions.put("JDK_VERSION", "1.5"); Index: src/org/javacc/jjtree/JJTree.jjt =================================================================== RCS file: /cvs/javacc/src/org/javacc/jjtree/JJTree.jjt,v retrieving revision 1.12 diff -r1.12 JJTree.jjt 34a35 > JDK_VERSION="1.4"; Index: src/org/javacc/jjtree/JJTreeOptions.java =================================================================== RCS file: /cvs/javacc/src/org/javacc/jjtree/JJTreeOptions.java,v retrieving revision 1.9 diff -r1.9 JJTreeOptions.java 55c55 < Options.optionValues.put("JDK_VERSION", "1.4"); --- > Options.optionValues.put("JDK_VERSION", "1.5"); Index: src/org/javacc/jjtree/build.xml =================================================================== RCS file: /cvs/javacc/src/org/javacc/jjtree/build.xml,v retrieving revision 1.6 diff -r1.6 build.xml 57c57 < source="1.4" --- > source="1.5" Index: src/org/javacc/parser/JavaCC.jj =================================================================== RCS file: /cvs/javacc/src/org/javacc/parser/JavaCC.jj,v retrieving revision 1.30 diff -r1.30 JavaCC.jj 39a40 > JDK_VERSION="1.4"; Index: src/org/javacc/parser/Main.java =================================================================== RCS file: /cvs/javacc/src/org/javacc/parser/Main.java,v retrieving revision 1.10 diff -r1.10 Main.java 82c82 < System.out.println(" JDK_VERSION (default 1.4)"); --- > System.out.println(" JDK_VERSION (default 1.5)"); Index: src/org/javacc/parser/Options.java =================================================================== RCS file: /cvs/javacc/src/org/javacc/parser/Options.java,v retrieving revision 1.8 diff -r1.8 Options.java 122c122 < optionValues.put("JDK_VERSION", "1.4"); --- > optionValues.put("JDK_VERSION", "1.5"); Index: src/org/javacc/parser/OptionsTest.java =================================================================== RCS file: /cvs/javacc/src/org/javacc/parser/OptionsTest.java,v retrieving revision 1.3 diff -r1.3 OptionsTest.java 42c42 < assertEquals("1.4", Options.getJdkVersion()); --- > assertEquals("1.5", Options.getJdkVersion()); Index: src/org/javacc/parser/build.xml =================================================================== RCS file: /cvs/javacc/src/org/javacc/parser/build.xml,v retrieving revision 1.6 diff -r1.6 build.xml 55c55 < source="1.4" --- > source="1.5"