diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index 2e992ddb3831b0cdaac0644c190ae17010fc644f..9bd1a8292ad150981f00945440f234a97e5f65b2 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -19,7 +19,7 @@ and is now being used within Siemens.
    </description>
 
    <copyright>
-      (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
+      (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
    </copyright>
 
    <license url="http://www.eclipse.org/org/documents/epl-v10.html">
@@ -236,7 +236,7 @@ litigation.
       <import plugin="org.eventb.core" version="3.0.0"/>
       <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
       <import plugin="org.eventb.core.ast" version="3.0.0"/>
-      <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
+      <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
       <import plugin="org.eventb.ui" version="3.0.0"/>
       <import plugin="org.eclipse.osgi"/>
       <import plugin="de.prob.ui" version="7.4.0" match="greaterOrEqual"/>
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index deb0a75dfd777d6072ff35152e8c7c91dbb6af1d..373bcd998c55e5d2199b92ebdb13d0e0effd1ef0 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -13,7 +13,7 @@ ProB has been successfully used on various industrial specifications and is now
    </description>
 
    <copyright>
-      (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
+      (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
    </copyright>
 
    <license url="http://www.eclipse.org/org/documents/epl-v10.html">
@@ -231,7 +231,7 @@ litigation.
       <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"/>
-      <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
+      <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
       <import plugin="org.eventb.core.ast" version="3.0.0"/>
       <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
       <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 3a331d647ef176190d4b8b8657b56a27b7eb2806..8143cfdf38cb3e7e9e211ec7a19a457e508643c0 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -19,7 +19,7 @@ and is now being used within Siemens.
    </description>
 
    <copyright>
-      (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
+      (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
    </copyright>
 
    <license url="http://www.eclipse.org/org/documents/epl-v10.html">
@@ -233,7 +233,7 @@ litigation.
       <import plugin="org.eclipse.core.runtime"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
       <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
-      <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
+      <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
       <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"/>
diff --git a/de.prob2.units.feature/feature.xml b/de.prob2.units.feature/feature.xml
index c6b9f19483f93d14e6991a82222a46ac3316a44b..73fb1c8e6a78d1407d490517bc8ce934fbba60b8 100644
--- a/de.prob2.units.feature/feature.xml
+++ b/de.prob2.units.feature/feature.xml
@@ -13,7 +13,7 @@ ProB has been successfully used on various industrial specifications and is now
    </description>
 
    <copyright>
-      (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
+      (C) 2000-2020 Michael Leuschel (and many others) All rights reserved.
    </copyright>
 
    <license url="http://www.eclipse.org/org/documents/epl-v10.html">
@@ -228,7 +228,7 @@ litigation.
       <import plugin="org.eclipse.core.commands"/>
       <import plugin="org.eclipse.core.resources"/>
       <import plugin="org.eclipse.jface"/>
-      <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
+      <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
       <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
       <import plugin="org.eventb.core" version="3.0.0"/>