J2SE-1.5 is enough for this project (and don't store OT-specific options)
diff --git a/contrib/org.eclipse.objectteams.jdt.nullity.tests/.classpath b/contrib/org.eclipse.objectteams.jdt.nullity.tests/.classpath
index aa04ac1..9e7247e 100644
--- a/contrib/org.eclipse.objectteams.jdt.nullity.tests/.classpath
+++ b/contrib/org.eclipse.objectteams.jdt.nullity.tests/.classpath
@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
- <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
+ <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/>
<classpathentry kind="con" path="OTRE"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="src" path="annotations"/>
diff --git a/contrib/org.eclipse.objectteams.jdt.nullity.tests/.settings/org.eclipse.jdt.core.prefs b/contrib/org.eclipse.objectteams.jdt.nullity.tests/.settings/org.eclipse.jdt.core.prefs
index e728485..6ece0d1 100644
--- a/contrib/org.eclipse.objectteams.jdt.nullity.tests/.settings/org.eclipse.jdt.core.prefs
+++ b/contrib/org.eclipse.objectteams.jdt.nullity.tests/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,8 @@
-#Sat Jan 22 19:50:37 CET 2011
+#Thu Aug 11 13:02:34 CEST 2011
eclipse.preferences.version=1
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.codegen.targetPlatform=1.5
+org.eclipse.jdt.core.compiler.compliance=1.5
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.6
-org.eclipse.objectteams.otdt.compiler.option.pure_java=enabled
-org.eclipse.objectteams.otdt.compiler.problem.binding_conventions=error
+org.eclipse.jdt.core.compiler.source=1.5
diff --git a/contrib/org.eclipse.objectteams.jdt.nullity.tests/META-INF/MANIFEST.MF b/contrib/org.eclipse.objectteams.jdt.nullity.tests/META-INF/MANIFEST.MF
index 775b5c0..a6e9256 100644
--- a/contrib/org.eclipse.objectteams.jdt.nullity.tests/META-INF/MANIFEST.MF
+++ b/contrib/org.eclipse.objectteams.jdt.nullity.tests/META-INF/MANIFEST.MF
@@ -3,7 +3,7 @@
Bundle-Name: Null Annotations Tests
Bundle-SymbolicName: org.eclipse.objectteams.jdt.nullity.tests
Bundle-Version: 0.7.0.qualifier
-Bundle-RequiredExecutionEnvironment: JavaSE-1.6
+Bundle-RequiredExecutionEnvironment: J2SE-1.5
Require-Bundle: org.eclipse.jdt.core.tests.compiler;bundle-version="3.4.0",
org.junit;bundle-version="3.8.1",
org.eclipse.jdt.debug;bundle-version="[3.2.0,4.0.0)",