commit 0af7f707d2a00f38b0aed7ae39f4ec13debf7382
author Stephan Herrmann <stephan.herrmann@berlin.de> Sat Feb 21 22:53:47 2015 +0100
committer Stephan Herrmann <stephan.herrmann@berlin.de> Sat Feb 21 22:53:47 2015 +0100
tree 74e9a07cbb9c998134a2ba560443277b19ec06ce
parent fa54e439d1c5870534136b819a738df8938b1bae

Try to consume Bug 440687 from JDT/Core

plugins/org.eclipse.objectteams.otequinox/build.properties

diff --git a/plugins/org.eclipse.objectteams.otequinox/build.properties b/plugins/org.eclipse.objectteams.otequinox/build.properties
index 3fffd82..624a67a 100644
--- a/plugins/org.eclipse.objectteams.otequinox/build.properties
+++ b/plugins/org.eclipse.objectteams.otequinox/build.properties
@@ -13,4 +13,5 @@
                about.ini
 javacProjectSettings=true
 
-compilerArg = -annotationpath ${buildDirectory}/plugins/${bundleId}/annotations/plugins
+compilerArg = -annotationpath ${buildDirectory}/plugins/${bundleId}/annotations/plugins${path.separator}\
+${buildDirectory}/plugins/${bundleId}/annotations/jre