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

org.lamport.tla.toolbox.feature.standalone/feature.xml

@@ -361,7 +361,7 @@
          id="org.eclipse.jdt.annotation"
          download-size="0"
          install-size="0"
-         version="0.0.0"
+         version="1.1.150.v20180322-1206"
          unpack="false"/>
 
 </feature>