diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 48831d7386b2bf8f3d1a6f351c4d0ee03e50fcf5..83a6dd8900eead23ff9be018d64f81474fc95560 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -182,12 +182,10 @@ Inc. in the United States, other countries, or both.
       <import plugin="org.eclipse.ui.editors" version="3.8.0" match="compatible"/>
       <import plugin="org.eclipse.ui.ide" version="3.8.2" match="compatible"/>
       <import plugin="org.eclipse.ui.workbench.texteditor"/>
-      <import plugin="org.eclipse.core.resources" version="3.8.1" match="greaterOrEqual"/>
       <import plugin="org.eventb.emf.core" version="4.0.0"/>
       <import plugin="org.eclipse.core.runtime" version="3.10.0" match="greaterOrEqual"/>
       <import plugin="org.eclipse.emf.ecore.xmi" version="2.10.1" match="greaterOrEqual"/>
       <import plugin="org.rodinp.core" version="1.7.0" match="greaterOrEqual"/>
-      <import plugin="org.eventb.core" version="3.1.0" match="greaterOrEqual"/>
       <import plugin="org.eclipse.emf.edit"/>
       <import plugin="org.eventb.texteditor.parsers"/>
       <import plugin="org.rodinp.keyboard.core" version="2.0.0" match="compatible"/>
@@ -198,7 +196,6 @@ Inc. in the United States, other countries, or both.
       <import plugin="org.eclipse.emf.compare.edit" version="4.0.0" match="greaterOrEqual"/>
       <import plugin="org.eclipse.emf.compare.ide" version="3.1.1" match="greaterOrEqual"/>
       <import plugin="org.eclipse.emf.compare.rcp" version="2.2.0" match="greaterOrEqual"/>
-      <import plugin="org.eventb.core" version="3.1.0" match="compatible"/>
    </requires>
 
    <plugin