diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
index 7004101bd7ae70e46e6b83c03fc570d8a60f128b..a310e66bb9bfeb8f139da259077964f9887f9bf8 100644
--- a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
@@ -5,16 +5,16 @@ Bundle-SymbolicName: org.eventb.texteditor.ui;singleton:=true
 Bundle-Version: 3.5.0.qualifier
 Bundle-Localization: plugin
 Bundle-Activator: org.eventb.texteditor.ui.TextEditorPluginImplementation
-Require-Bundle: org.eclipse.core.resources;bundle-version="3.8.1",
- org.eclipse.core.runtime;bundle-version="3.10.0",
- org.eclipse.emf.ecore.xmi;bundle-version="2.10.1",
+Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
+ org.eclipse.core.runtime;bundle-version="[3.10.0,4.0.0)",
+ org.eclipse.emf.ecore.xmi;bundle-version="[2.10.1,3.0.0)",
  org.eclipse.emf.edit,
  org.eclipse.emf.edit.ui;bundle-version="[2.5.0,3.0.0)",
  org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)";visibility:=reexport,
  org.eclipse.ui.editors;bundle-version="[3.8.0,4.0.0)",
  org.eclipse.ui.ide;bundle-version="[3.8.2,4.0.0)",
  org.eclipse.ui.workbench.texteditor,
- org.eventb.core;bundle-version="3.1.0",
+ org.eventb.core;bundle-version="[3.1.0,4.0.0)",
  org.eventb.core.ast;bundle-version="[3.1.0,4.0.0)",
  org.eventb.emf.core;bundle-version="[4.0.0,7.0.0)",
  org.eventb.emf.formulas;bundle-version="[1.4.0,3.0.0)",
@@ -22,7 +22,7 @@ Require-Bundle: org.eclipse.core.resources;bundle-version="3.8.1",
  org.eventb.texteditor.parsers,
  org.eventb.texttools;bundle-version="[3.5.0,3.6.0)";visibility:=reexport,
  org.eventb.ui;bundle-version="[3.0.0,4.0.0)";visibility:=reexport,
- org.rodinp.core;bundle-version="1.7.0",
+ org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
  org.rodinp.keyboard.core;bundle-version="[2.0.0,3.0.0)",
  org.rodinp.keyboard.ui;bundle-version="[2.0.0,3.0.0)"
 Bundle-ClassPath: .
diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF
index dfd206830954367d8e68f0c74afed1d244c66fda..306b77ef3b1ae8d2cac6ece7e0fe9fc510ad10c4 100644
--- a/org.eventb.texttools/META-INF/MANIFEST.MF
+++ b/org.eventb.texttools/META-INF/MANIFEST.MF
@@ -5,13 +5,13 @@ Bundle-SymbolicName: org.eventb.texttools;singleton:=true
 Bundle-Version: 3.5.0.qualifier
 Bundle-Activator: org.eventb.texttools.TextToolsPlugin
 Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
- org.eclipse.core.runtime;bundle-version="3.10.0",
- org.eclipse.emf.compare.edit;bundle-version="4.0.0",
- org.eclipse.emf.compare.ide;bundle-version="3.1.1",
- org.eclipse.emf.compare.rcp;bundle-version="2.2.0",
- org.eclipse.emf.compare;bundle-version="3.4.0",
+ org.eclipse.core.runtime;bundle-version="[3.10.0,4.0.0)",
+ org.eclipse.emf.compare;bundle-version="[3.4.0,4.0.0)",
+ org.eclipse.emf.compare.edit;bundle-version="[4.0.0,5.0.0)",
+ org.eclipse.emf.compare.ide;bundle-version="[3.1.1,4.0.0)",
+ org.eclipse.emf.compare.rcp;bundle-version="[2.2.0,3.0.0)",
  org.eclipse.emf.ecore,
- org.eclipse.emf.ecore.xmi;bundle-version="2.10.1",
+ org.eclipse.emf.ecore.xmi;bundle-version="[2.10.1,3.0.0)",
  org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)",
  org.eventb.core;bundle-version="[3.1.0,4.0.0)",
  org.eventb.core.ast;bundle-version="[3.1.0,4.0.0)",
@@ -19,7 +19,7 @@ Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
  org.eventb.emf.formulas;bundle-version="[1.4.0,3.0.0)",
  org.eventb.emf.persistence;bundle-version="[3.1.1,5.0.0)",
  org.eventb.texteditor.parsers,
- org.rodinp.core;bundle-version="1.7.0"
+ org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
 Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Bundle-ClassPath: .
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8