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