Hardcode o.e.jdt.annotation to 2.1.150 value in an attempt to fix the Jenkins problem

480fccd0 · Markus Alexander Kuppe · 6188af7a · 480fccd0
Commit 480fccd0 authored Apr 22, 2018 by Markus Alexander Kuppe
--- a/org.lamport.tla.toolbox.feature.standalone/feature.xml
+++ b/org.lamport.tla.toolbox.feature.standalone/feature.xml
@@ -361,7 +361,7 @@
         id="org.eclipse.jdt.annotation"
         download-size="0"
         install-size="0"
-         version="1.1.150.v20180322-1206"
+         version="2.1.150.v20180322-1206"
         unpack="false"/>

 </feature>