diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
index 64a51d2ad66fa780eabb77adc94d41844a312837..3c656fc6db927980922112a802fc0c2668a16bd0 100644
--- a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
+++ b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
@@ -5,19 +5,19 @@ Bundle-SymbolicName: de.bmotionstudio.gef.editor;singleton:=true
 Bundle-Version: 5.6.0.qualifier
 Bundle-Activator: de.bmotionstudio.gef.editor.BMotionEditorPlugin
 Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)";visibility:=reexport,
- org.eclipse.core.databinding;bundle-version="[1.2.0,2.0.0)",
- org.eclipse.core.databinding.beans;bundle-version="[1.1.1,2.0.0)",
- org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.gef;bundle-version="[3.7.0,4.0.0)";visibility:=reexport,
- org.eclipse.help;bundle-version="3.5.100",
- org.eclipse.jface.databinding;bundle-version="[1.2.1,2.0.0)",
- org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui.views;bundle-version="[3.5.0,4.0.0)";visibility:=reexport,
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.databinding;bundle-version="[1.10.0,2.0.0)",
+ org.eclipse.core.databinding.beans;bundle-version="[1.7.0,2.0.0)",
+ org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.gef;bundle-version="[3.11.0,4.0.0)";visibility:=reexport,
+ org.eclipse.help;bundle-version="[3.8.0,4.0.0)",
+ org.eclipse.jface.databinding;bundle-version="[1.12.0,2.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eclipse.ui.ide;bundle-version="[3.18.0,4.0.0)",
+ org.eclipse.ui.views;bundle-version="[3.10.0,4.0.0)";visibility:=reexport,
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-11
 Eclipse-RegisterBuddy: de.prob.core
diff --git a/de.prob.core.tests/META-INF/MANIFEST.MF b/de.prob.core.tests/META-INF/MANIFEST.MF
index dc159740906628438ecd42aab4b9c13008d9546b..21083b4c51829156e5f3bbeeea382110becc72fd 100644
--- a/de.prob.core.tests/META-INF/MANIFEST.MF
+++ b/de.prob.core.tests/META-INF/MANIFEST.MF
@@ -5,12 +5,12 @@ Bundle-SymbolicName: de.prob.core.tests
 Bundle-Version: 1.0.0.qualifier
 Bundle-Activator: de.prob.core.tests.Activator
 Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
- org.eclipse.core.resources,
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui,
- org.eventb.core;bundle-version="[3.3.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.3.0,4.0.0)",
- org.junit;bundle-version="[4.0.0,5.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.junit;bundle-version="[4.13.0,5.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-11
diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF
index f19d75215435a0448fe8e8c5cbd14a04d7869e30..e177ac77fb927be81d2d4b69138cb5ea7797f047 100644
--- a/de.prob.core/META-INF/MANIFEST.MF
+++ b/de.prob.core/META-INF/MANIFEST.MF
@@ -3,14 +3,14 @@ Bundle-ManifestVersion: 2
 Bundle-Name: ProB Animator Core
 Bundle-SymbolicName: de.prob.core;singleton:=true
 Bundle-Version: 9.5.0.qualifier
-Require-Bundle: org.eclipse.core.filesystem,
- org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eventb.core;bundle-version="[3.3.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.3.0,4.0.0)",
- org.eventb.core.seqprover;bundle-version="[3.2.0,4.0.0)",
+Require-Bundle: org.eclipse.core.filesystem;bundle-version="[1.7.0,2.0.0)",
+ org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.seqprover;bundle-version="[3.4.0,4.0.0)",
  org.eventb.theory.core;bundle-version="[4.0.0,4.1.0)";resolution:=optional,
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
 Bundle-ActivationPolicy: lazy
 Eclipse-BundleShape: dir
 Bundle-Vendor: HHU Dusseldorf STUPS Group
diff --git a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
index 7b610c8c1706dc85924202a8e27648315ce5b00b..2d758108c8563adc1bec05d007b0524ad9745f18 100644
--- a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
@@ -5,12 +5,12 @@ Bundle-SymbolicName: de.prob.eventb.disprover.core;singleton:=true
 Bundle-Version: 2.1.0.qualifier
 Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.seqprover;bundle-version="[3.0.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.seqprover;bundle-version="[3.4.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
 Bundle-RequiredExecutionEnvironment: JavaSE-11
 Bundle-ActivationPolicy: lazy
 Bundle-Localization: plugin
diff --git a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
index 16761b4a150f160ed107f31e0142c24164b0bd73..c6dc929b64e23aa7f604c7a4592bdb5343d4111f 100644
--- a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
@@ -7,14 +7,14 @@ Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
  de.prob.eventb.disprover.core;bundle-version="[2.1.0,2.2.0)",
  de.prob.ui;bundle-version="[7.5.0,7.6.0)",
- org.eclipse.core.runtime,
- org.eclipse.osgi,
- org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.seqprover;bundle-version="[3.0.0,4.0.0)",
- org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.osgi;bundle-version="[3.16.0,4.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.seqprover;bundle-version="[3.4.0,4.0.0)",
+ org.eventb.ui;bundle-version="[3.5.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
 Bundle-RequiredExecutionEnvironment: JavaSE-11
 Bundle-ActivationPolicy: lazy
 Bundle-Localization: plugin
diff --git a/de.prob.symbolic/META-INF/MANIFEST.MF b/de.prob.symbolic/META-INF/MANIFEST.MF
index 1b713a2fa35c3f1b0db188f3a00564d1a813bb91..630b87ede331c46f11d6964d8e636ea720b968ec 100644
--- a/de.prob.symbolic/META-INF/MANIFEST.MF
+++ b/de.prob.symbolic/META-INF/MANIFEST.MF
@@ -6,11 +6,11 @@ Bundle-Version: 7.5.0.qualifier
 Bundle-Activator: de.prob.symbolic.Activator
 Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
  de.prob.ui;bundle-version="[7.5.0,7.6.0)",
- org.eclipse.core.runtime,
- org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eventb.ui;bundle-version="[3.0.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.ui;bundle-version="[3.5.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-11
 Bundle-Vendor: HHU Düsseldorf STUPS Group
diff --git a/de.prob.ui/META-INF/MANIFEST.MF b/de.prob.ui/META-INF/MANIFEST.MF
index 4d6e92e0390654f8f9d0e57bbf4b6df75ef73ccd..32157f7964fce02c82478482ea6c8f8050935305 100644
--- a/de.prob.ui/META-INF/MANIFEST.MF
+++ b/de.prob.ui/META-INF/MANIFEST.MF
@@ -4,15 +4,15 @@ Bundle-Name: ProB Ui Plug-in
 Bundle-SymbolicName: de.prob.ui;singleton:=true
 Bundle-Version: 7.5.0.qualifier
 Require-Bundle: de.prob.core;bundle-version="[9.5.0,9.6.0)",
- org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)",
- org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.gef;bundle-version="[3.7.0,4.0.0)",
- org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
+ org.eclipse.core.expressions;bundle-version="[3.7.0,4.0.0)",
+ org.eclipse.core.resources;bundle-version="[3.13.0,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
+ org.eclipse.gef;bundle-version="[3.11.0,4.0.0)",
+ org.eclipse.ui;bundle-version="[3.118.0,4.0.0)",
+ org.eclipse.ui.ide;bundle-version="[3.18.0,4.0.0)",
+ org.eventb.core;bundle-version="[3.5.0,4.0.0)",
+ org.eventb.core.ast;bundle-version="[3.5.0,4.0.0)",
+ org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
 Bundle-ActivationPolicy: lazy
 Bundle-Vendor: HHU Düsseldorf STUPS Group
 Bundle-Activator: de.prob.ui.ProbUiPlugin
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 47b50a2d99a32e95335e361349a8a4d74e4fcd48..54cfc58b0b926d9309ab211ee76b20497f11dadb 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -231,14 +231,14 @@ litigation.
       <import plugin="de.prob.core" version="9.5.0" match="equivalent"/>
       <import plugin="de.prob.eventb.disprover.core" version="2.1.0" match="equivalent"/>
       <import plugin="de.prob.ui" version="7.5.0" match="equivalent"/>
-      <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
-      <import plugin="org.eclipse.osgi"/>
-      <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
-      <import plugin="org.eventb.core" version="3.0.0"/>
-      <import plugin="org.eventb.core.ast" version="3.0.0"/>
-      <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
-      <import plugin="org.eventb.ui" version="3.0.0"/>
-      <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
+      <import plugin="org.eclipse.core.runtime" version="3.2.0" match="compatible"/>
+      <import plugin="org.eclipse.osgi" version="3.16.0" match="compatible"/>
+      <import plugin="org.eclipse.ui" version="3.118.0" match="compatible"/>
+      <import plugin="org.eventb.core" version="3.5.0" match="compatible"/>
+      <import plugin="org.eventb.core.ast" version="3.5.0" match="compatible"/>
+      <import plugin="org.eventb.core.seqprover" version="3.4.0" match="compatible"/>
+      <import plugin="org.eventb.ui" version="3.5.0" match="compatible"/>
+      <import plugin="org.rodinp.core" version="1.9.0" match="compatible"/>
    </requires>
 
    <plugin
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index e26d508b2b7f94c7f9c63e5dee426259777f3841..1222b303d3365cc93a6f25c64978396db185a3b2 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -231,22 +231,22 @@ litigation.
       <import plugin="de.bmotionstudio.gef.editor" version="5.6.0" match="equivalent"/>
       <import plugin="de.prob.core" version="9.5.0" match="equivalent"/>
       <import plugin="de.prob.ui" version="7.5.0" match="equivalent"/>
-      <import plugin="org.eclipse.core.databinding" version="1.2.0" match="compatible"/>
-      <import plugin="org.eclipse.core.databinding.beans" version="1.1.1" match="compatible"/>
-      <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
-      <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
-      <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
-      <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/>
-      <import plugin="org.eclipse.help" version="3.5.100" match="compatible"/>
-      <import plugin="org.eclipse.jface.databinding" version="1.2.1" match="compatible"/>
-      <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.navigator" version="3.5.0" match="compatible"/>
-      <import plugin="org.eclipse.ui.views" version="3.5.0" match="compatible"/>
-      <import plugin="org.eventb.core" version="3.0.0"/>
-      <import plugin="org.eventb.core.ast" version="3.0.0"/>
-      <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
-      <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
+      <import plugin="org.eclipse.core.databinding" version="1.10.0" match="compatible"/>
+      <import plugin="org.eclipse.core.databinding.beans" version="1.7.0" match="compatible"/>
+      <import plugin="org.eclipse.core.expressions" version="3.7.0" match="compatible"/>
+      <import plugin="org.eclipse.core.resources" version="3.13.0" match="compatible"/>
+      <import plugin="org.eclipse.core.runtime" version="3.20.0" match="compatible"/>
+      <import plugin="org.eclipse.gef" version="3.11.0" match="compatible"/>
+      <import plugin="org.eclipse.help" version="3.8.0" match="compatible"/>
+      <import plugin="org.eclipse.jface.databinding" version="1.12.0" match="compatible"/>
+      <import plugin="org.eclipse.ui" version="3.118.0" match="compatible"/>
+      <import plugin="org.eclipse.ui.ide" version="3.18.0" match="compatible"/>
+      <import plugin="org.eclipse.ui.navigator" version="3.9.0" match="compatible"/>
+      <import plugin="org.eclipse.ui.views" version="3.10.0" match="compatible"/>
+      <import plugin="org.eventb.core" version="3.5.0" match="compatible"/>
+      <import plugin="org.eventb.core.ast" version="3.5.0" match="compatible"/>
+      <import plugin="org.eventb.core.seqprover" version="3.4.0" match="compatible"/>
+      <import plugin="org.rodinp.core" version="1.9.0" match="compatible"/>
    </requires>
 
    <plugin
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 9bebe83b43a720efa88fa61a9f95fb817e2e38bf..06d4178b44b1c7930b85baa067ceba6af63d91a6 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -230,11 +230,11 @@ litigation.
    <requires>
       <import plugin="de.prob.core" version="9.5.0" match="equivalent"/>
       <import plugin="de.prob.ui" version="7.5.0" match="equivalent"/>
-      <import plugin="org.eclipse.core.runtime"/>
-      <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"/>
-      <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
+      <import plugin="org.eclipse.core.runtime" version="3.20.0" match="compatible"/>
+      <import plugin="org.eclipse.ui" version="3.118.0" match="compatible"/>
+      <import plugin="org.eventb.core" version="3.5.0" match="compatible"/>
+      <import plugin="org.eventb.ui" version="3.5.0" match="compatible"/>
+      <import plugin="org.rodinp.core" version="1.9.0" match="compatible"/>
    </requires>
 
    <plugin