19 lines
1.0 KiB
Diff
19 lines
1.0 KiB
Diff
### Eclipse Workspace Patch 1.0
|
|
#P org.eclipse.jdt.core
|
|
Index: model/org/eclipse/jdt/core/JavaCore.java
|
|
===================================================================
|
|
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java,v
|
|
retrieving revision 1.577
|
|
diff -u -r1.577 JavaCore.java
|
|
--- model/org/eclipse/jdt/core/JavaCore.java 1 Jun 2007 13:52:19 -0000 1.577
|
|
+++ model/org/eclipse/jdt/core/JavaCore.java 26 Sep 2007 19:30:44 -0000
|
|
@@ -4662,7 +4662,7 @@
|
|
case ClassFileConstants.MAJOR_VERSION_1_7:
|
|
options.put(JavaCore.COMPILER_COMPLIANCE, JavaCore.VERSION_1_7);
|
|
options.put(JavaCore.COMPILER_SOURCE, JavaCore.VERSION_1_7);
|
|
- options.put(JavaCore.COMPILER_CODEGEN_TARGET_PLATFORM, JavaCore.VERSION_1_7);
|
|
+ options.put(JavaCore.COMPILER_CODEGEN_TARGET_PLATFORM, JavaCore.VERSION_1_6);
|
|
options.put(JavaCore.COMPILER_PB_ASSERT_IDENTIFIER, JavaCore.ERROR);
|
|
options.put(JavaCore.COMPILER_PB_ENUM_IDENTIFIER, JavaCore.ERROR);
|
|
options.put(JavaCore.COMPILER_CODEGEN_INLINE_JSR_BYTECODE, JavaCore.ENABLED);
|