diff --git a/de.bmotionstudio.rodin/META-INF/MANIFEST.MF b/de.bmotionstudio.rodin/META-INF/MANIFEST.MF
index 1e4c09a0e72680fb2cb8aed1855776e5939c30cf..0704539d901680ab3e929a97f8fca142745cfead 100644
--- a/de.bmotionstudio.rodin/META-INF/MANIFEST.MF
+++ b/de.bmotionstudio.rodin/META-INF/MANIFEST.MF
@@ -7,4 +7,4 @@ Fragment-Host: de.bmotionstudio.gef.editor;bundle-version="[5.7.0,5.8.0)"
 Bundle-RequiredExecutionEnvironment: JavaSE-11
 Bundle-Vendor: HHU Düsseldorf STUPS Group
 Require-Bundle: de.prob.ui;bundle-version="[7.6.0,7.7.0)",
- org.eclipse.ui.navigator;bundle-version="3.5.0"
+ org.eclipse.ui.navigator;bundle-version="[3.9.0,4.0.0)"