diff --git a/com.ibm.wala.j2ee/.settings/org.eclipse.jdt.core.prefs b/com.ibm.wala.j2ee/.settings/org.eclipse.jdt.core.prefs
index 99dc0a22c..8d6814ee7 100644
--- a/com.ibm.wala.j2ee/.settings/org.eclipse.jdt.core.prefs
+++ b/com.ibm.wala.j2ee/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,10 @@
-#Mon May 07 09:16:43 EDT 2007
+#Thu Oct 11 09:45:03 EDT 2007
 eclipse.preferences.version=1
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
-org.eclipse.jdt.core.compiler.compliance=1.5
+org.eclipse.jdt.core.compiler.compliance=1.6
 org.eclipse.jdt.core.compiler.debug.lineNumber=generate
 org.eclipse.jdt.core.compiler.debug.localVariable=generate
 org.eclipse.jdt.core.compiler.debug.sourceFile=generate
@@ -59,7 +60,7 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenImplementingAbstract=di
 org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disabled
 org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning
 org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning
-org.eclipse.jdt.core.compiler.source=1.5
+org.eclipse.jdt.core.compiler.source=1.6
 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_enum_constant=48
diff --git a/com.ibm.wala.j2ee/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.j2ee/.settings/org.eclipse.jdt.ui.prefs
index 4ff1b0398..cad97001a 100644
--- a/com.ibm.wala.j2ee/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.j2ee/.settings/org.eclipse.jdt.ui.prefs
@@ -1,6 +1,6 @@
-#Mon May 07 09:16:43 EDT 2007
+#Thu Oct 11 09:45:03 EDT 2007
 eclipse.preferences.version=1
 formatter_profile=_WALA
 formatter_settings_version=10
-internal.default.compliance=default
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
 org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8"?><templates/>