diff --git a/de.prob.core/prob_target.target b/de.prob.core/prob_target.target
index 085afe962e57dec76b662360fbd7e2ac092ed79c..1d4ccde825dd2d9e8fc8956b8f5dc20e67ff458a 100644
--- a/de.prob.core/prob_target.target
+++ b/de.prob.core/prob_target.target
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<?pde version="3.8"?><target name="prob_target" sequenceNumber="31">
+<?pde version="3.8"?><target name="prob_target" sequenceNumber="32">
 <locations>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
 <unit id="org.eclipse.gef" version="0.0.0"/>
@@ -9,13 +9,12 @@
 <repository location="http://rodin-b-sharp.sourceforge.net/updates/"/>
 </location>
 <location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
-<unit id="org.rodinp.platform.sources.feature.group" version="3.0.0.201403141545-e3d282b"/>
-<unit id="org.eventb.ide.feature.group" version="3.0.0.201403141545-e3d282b"/>
-<unit id="org.rodinp.platform.tests.feature.group" version="3.0.0.201403141545-e3d282b"/>
-<unit id="org.rodinp.feature.group" version="1.7.0.201403141545-e3d282b"/>
-<unit id="fr.systerel.editor.feature.group" version="0.7.0.201403141545-e3d282b"/>
-<unit id="org.rodinp.platform.feature.group" version="3.0.0.201403141545-e3d282b"/>
-<unit id="org.eclipse.ui.workbench" version="0.0.0"/>
+<unit id="org.eventb.ide.feature.group" version="3.0.1.201406111447-5326174"/>
+<unit id="fr.systerel.editor.feature.group" version="0.7.0.201406111447-5326174"/>
+<unit id="org.rodinp.feature.group" version="1.7.0.201406111447-5326174"/>
+<unit id="org.rodinp.platform.feature.group" version="3.0.0.201406111447-5326174"/>
+<unit id="org.rodinp.platform.tests.feature.group" version="3.0.0.201406111447-5326174"/>
+<unit id="org.rodinp.platform.sources.feature.group" version="3.0.0.201406111447-5326174"/>
 <repository location="http://www.stups.uni-duesseldorf.de/ProB/buildlibs/rodin/"/>
 </location>
 </locations>