diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 61c58e1bd0eb2bf3c95c5cb07c3f8cc77415ae8b..9ef6d65eeff3651139615d229c6c9a4c88126e55 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -232,14 +232,15 @@ litigation.
    <requires>
       <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
+      <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
+      <import plugin="org.eventb.core" version="3.0.0"/>
       <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
+      <import plugin="org.eventb.core.ast" version="3.0.0"/>
       <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
-      <import plugin="org.eventb.ui" version="3.0.0" match="equivalent"/>
       <import plugin="de.prob.eventb.disprover.core" version="1.3.2" match="compatible"/>
       <import plugin="org.eclipse.osgi"/>
-      <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
-      <import plugin="org.eventb.core" version="3.0.0"/>
-      <import plugin="org.eventb.core.ast" version="3.0.0"/>
+      <import plugin="org.eventb.ui" version="3.0.0"/>
+      <import plugin="de.prob.ui" version="7.4.0" match="greaterOrEqual"/>
    </requires>
 
    <plugin
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 9a1cc87413033efa651d22a4823f0dd4827c2a53..17dfa6a95af79b3824e8b2e7e75c0b08984b2052 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -224,25 +224,18 @@ litigation.
    </license>
 
    <requires>
-      <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
-      <import plugin="org.eclipse.ui.ide" version="3.5.0" match="compatible"/>
-      <import plugin="org.eclipse.ui.views" version="3.5.0" match="compatible"/>
       <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
-      <import plugin="org.eclipse.core.databinding" version="1.2.0" match="compatible"/>
-      <import plugin="org.eclipse.jface.databinding" version="1.2.1" match="compatible"/>
-      <import plugin="org.eclipse.core.databinding.beans" version="1.1.1" match="compatible"/>
-      <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/>
-      <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
-      <import plugin="org.eclipse.help" version="3.5.100" match="greaterOrEqual"/>
-      <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
       <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
-      <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
-      <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
-      <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/>
-      <import plugin="de.bmotionstudio.gef.editor" version="5.5.0" match="equivalent"/>
-      <import plugin="org.eventb.core" version="3.0.0"/>
       <import plugin="org.eventb.core.ast" version="3.0.0"/>
+      <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
       <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
+      <import plugin="org.eventb.core" version="3.0.0"/>
+      <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
+      <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
+      <import plugin="org.eclipse.ui.ide" version="3.5.0" match="compatible"/>
+      <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
+      <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
+      <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/>
    </requires>
 
    <plugin
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 8b34fa2aa3204bd9c82d83f8767bc61cebb7f0ec..a88506b17e5093cecccc8e85fbb256aa097d72cd 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -232,11 +232,11 @@ litigation.
    <requires>
       <import plugin="org.eclipse.core.runtime"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
-      <import plugin="org.eventb.ui" version="3.0.0" match="equivalent"/>
       <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
       <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
       <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
       <import plugin="org.eventb.core" version="3.0.0"/>
+      <import plugin="org.eventb.ui" version="3.0.0"/>
    </requires>
 
    <plugin
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index 570a51389719a095037107e06906af3e6e2e9198..ca20678482dbe262580f9580c19b37315b4fefd4 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -230,10 +230,10 @@ litigation.
       <import plugin="org.eclipse.jface"/>
       <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
-      <import plugin="org.eventb.ui" version="3.0.0" match="equivalent"/>
       <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
-      <import plugin="org.eclipse.ui.workbench"/>
       <import plugin="org.eventb.core" version="3.0.0"/>
+      <import plugin="org.eclipse.ui.workbench"/>
+      <import plugin="org.eventb.ui" version="3.0.0"/>
    </requires>
 
    <plugin