| commit | 40035f062012183a9073c6ad672b3904f4e7ba91 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Wed May 16 12:03:33 2018 +0200 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Wed May 16 12:03:33 2018 +0200 |
| tree | 9fe91b88410f24f475310cc671f37ac3965438c2 | |
| parent | 0dc84310aeaa044ab0a96afe051401506ac05b7d [diff] [blame] |
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/Trac18a/build.properties b/testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac18a/build.properties index 2b0d95b..370699b 100644 --- a/testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac18a/build.properties +++ b/testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac18a/build.properties
@@ -3,3 +3,4 @@ bin.includes = plugin.xml,\ META-INF/,\ . +jre.compilation.profile=JavaSE-1.7