### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: eval/org/eclipse/jdt/internal/eval/CodeSnippetClassFile.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/eval/org/eclipse/jdt/internal/eval/CodeSnippetClassFile.java,v
retrieving revision 1.44
diff -u -r1.44 CodeSnippetClassFile.java
--- eval/org/eclipse/jdt/internal/eval/CodeSnippetClassFile.java	16 Oct 2007 16:51:55 -0000	1.44
+++ eval/org/eclipse/jdt/internal/eval/CodeSnippetClassFile.java	16 Oct 2007 16:52:29 -0000
@@ -53,10 +53,6 @@
 	this.header[this.headerOffset++] = (byte) (0xCAFEBABEL >> 0);
 
 	long targetVersion = this.referenceBinding.scope.compilerOptions().targetJDK;
-
-	if (targetVersion == ClassFileConstants.JDK1_7) {
-		targetVersion = ClassFileConstants.JDK1_6;
-	}
 	this.header[this.headerOffset++] = (byte) (targetVersion >> 8); // minor high
 	this.header[this.headerOffset++] = (byte) (targetVersion >> 0); // minor low
 	this.header[this.headerOffset++] = (byte) (targetVersion >> 24); // major high
Index: compiler/org/eclipse/jdt/internal/compiler/ClassFile.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/ClassFile.java,v
retrieving revision 1.160
diff -u -r1.160 ClassFile.java
--- compiler/org/eclipse/jdt/internal/compiler/ClassFile.java	16 Oct 2007 16:51:56 -0000	1.160
+++ compiler/org/eclipse/jdt/internal/compiler/ClassFile.java	16 Oct 2007 16:52:29 -0000
@@ -6860,9 +6860,6 @@
 		header[headerOffset++] = (byte) (0xCAFEBABEL >> 0);
 
 		long targetVersion = this.targetJDK;
-		if (targetVersion == ClassFileConstants.JDK1_7) {
-			targetVersion = ClassFileConstants.JDK1_6;
-		}
 		header[headerOffset++] = (byte) (targetVersion >> 8); // minor high
 		header[headerOffset++] = (byte) (targetVersion>> 0); // minor low
 		header[headerOffset++] = (byte) (targetVersion >> 24); // major high