core/com.nokia.carbide.search.system/.settings/org.eclipse.jdt.core.prefs
changeset 2054 deb27f632e39
parent 0 fb279309251b
--- a/core/com.nokia.carbide.search.system/.settings/org.eclipse.jdt.core.prefs	Sat Sep 18 16:25:07 2010 -0500
+++ b/core/com.nokia.carbide.search.system/.settings/org.eclipse.jdt.core.prefs	Sat Sep 18 16:18:58 2010 -0700
@@ -1,8 +1,9 @@
-#Thu Oct 25 14:02:07 CDT 2007
+#Sat Sep 18 15:57:22 PDT 2010
 eclipse.preferences.version=1
 instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
-org.eclipse.jdt.core.compiler.compliance=1.5
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
+org.eclipse.jdt.core.compiler.compliance=1.6
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.5
+org.eclipse.jdt.core.compiler.source=1.6