Update jdt.core to S4_8_0_M7
- adjust new tests
- adjust our tests to new warning from jdt.launching
diff --git a/testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac213a/build.properties b/testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac213a/build.properties
index e9863e2..263ac35 100644
--- a/testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac213a/build.properties
+++ b/testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac213a/build.properties
@@ -3,3 +3,4 @@
 bin.includes = META-INF/,\
                .,\
                plugin.xml
+jre.compilation.profile=JavaSE-1.7