Update Eclipse Foundation to Oxygen Release SR3a.

[Feature][Toolbox][Changelog]

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

@@ -315,13 +315,6 @@
          version="0.0.0"
          unpack="false"/>
 
-   <plugin
-         id="org.eclipse.jdt.annotation"
-         download-size="0"
-         install-size="0"
-         version="1.1.100.v20160418-1457"
-         unpack="false"/>
-
    <plugin
          id="org.apache.commons.lang"
          download-size="0"
@@ -364,4 +357,11 @@
          version="0.0.0"
          unpack="false"/>
 
+   <plugin
+         id="org.eclipse.jdt.annotation"
+         download-size="0"
+         install-size="0"
+         version="0.0.0"
+         unpack="false"/>
+
 </feature>

org.lamport.tla.toolbox.product.product/TLAToolbox.target

 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<?pde version="3.8"?><target name="TLA+ Toolbox" sequenceNumber="81">
+<?pde version="3.8"?><target name="TLA+ Toolbox" sequenceNumber="82">
 <locations>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
 <unit id="org.eclipse.contribution.weaving.feature.group" version="2.2.4.201704242114"/>
@@ -30,21 +30,21 @@
 <repository location="http://lemmy.github.com/jclouds2p2/"/>
 </location>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
-<unit id="org.eclipse.rcp.id" version="4.7.0.I20170612-0950"/>
-<unit id="org.eclipse.help.feature.group" version="2.2.100.v20170612-0950"/>
-<unit id="org.eclipse.equinox.core.sdk.feature.group" version="3.13.0.v20170516-1513"/>
-<unit id="org.eclipse.rcp.sdk.id" version="4.7.0.I20170612-0950"/>
-<unit id="org.eclipse.platform.ide" version="4.7.0.I20170612-0950"/>
-<unit id="org.eclipse.rcp.configuration.feature.group" version="1.1.0.v20170612-0950"/>
+<unit id="org.eclipse.rcp.id" version="4.7.3.M20180330-0640"/>
+<unit id="org.eclipse.help.feature.group" version="2.2.104.v20180330-0640"/>
+<unit id="org.eclipse.equinox.core.sdk.feature.group" version="3.13.2.v20180210-1608"/>
+<unit id="org.eclipse.rcp.sdk.id" version="4.7.3.M20180330-0640"/>
+<unit id="org.eclipse.platform.ide" version="4.7.3.M20180330-0640"/>
+<unit id="org.eclipse.rcp.configuration.feature.group" version="1.1.4.v20180330-0640"/>
 <unit id="org.eclipse.emf.ecore.feature.group" version="2.13.0.v20170609-0707"/>
-<unit id="org.eclipse.equinox.executable" version="3.7.0.v20170531-1133"/>
+<unit id="org.eclipse.equinox.executable" version="3.7.2.v20171108-1834"/>
 <unit id="org.eclipse.ecf.core.feature.feature.group" version="1.4.0.v20170516-2248"/>
-<unit id="org.eclipse.e4.rcp.feature.group" version="1.6.0.v20170612-1255"/>
-<unit id="org.eclipse.platform.sdk" version="4.7.0.I20170612-0950"/>
+<unit id="org.eclipse.e4.rcp.feature.group" version="1.6.3.v20180329-0507"/>
+<unit id="org.eclipse.platform.sdk" version="4.7.3.M20180330-0640"/>
 <unit id="org.eclipse.emf.common.feature.group" version="2.13.0.v20170609-0707"/>
-<unit id="org.eclipse.equinox.sdk.feature.group" version="3.13.0.v20170531-1133"/>
-<unit id="org.eclipse.core.runtime.feature.feature.group" version="1.2.0.v20170518-1049"/>
-<unit id="org.eclipse.sdk.ide" version="4.7.0.I20170612-0950"/>
+<unit id="org.eclipse.equinox.sdk.feature.group" version="3.13.4.v20180322-2228"/>
+<unit id="org.eclipse.core.runtime.feature.feature.group" version="1.2.2.v20180210-1608"/>
+<unit id="org.eclipse.sdk.ide" version="4.7.3.M20180330-0640"/>
 <repository location="http://download.eclipse.org/eclipse/updates/4.7/" id="eclipse"/>
 </location>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">