diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 2a184aef5900b8e71ec378e10d6919ebb38d1a41..ba5564fc12872862075f23840c5616c53723d8f6 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -227,7 +227,7 @@ litigation.
       <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.core.runtime" version="3.5.0" match="compatible"/>
-      <import plugin="org.eclipse.gef" version="3.7.0" match="greaterOrEqual"/>
+      <import plugin="org.eclipse.gef" version="4.0.0" match="greaterOrEqual"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
       <import plugin="org.eventb.core" version="3.0.0"/>
       <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>