### 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);