bump version number for release

de.prob2.disprover.feature/feature.xml

@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.disprover.feature"
       label="ProB for Rodin3 - EXPERIMENTAL (Dis)Prover"
-      version="3.0.3.qualifier"
+      version="3.0.4.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
@@ -233,13 +233,13 @@ litigation.
       <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
       <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
+      <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
       <import plugin="org.eventb.ui" version="3.0.0" match="equivalent"/>
       <import plugin="de.prob.eventb.disprover.core" version="1.3.2" match="compatible"/>
-      <import plugin="org.eventb.core.seqprover" version="3.0.0" match="equivalent"/>
-      <import plugin="org.eventb.core" version="3.0.0" match="equivalent"/>
-      <import plugin="org.eventb.core.ast" version="3.0.0" match="equivalent"/>
-      <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
       <import plugin="org.eclipse.osgi"/>
+      <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
+      <import plugin="org.eventb.core" version="3.0.0"/>
+      <import plugin="org.eventb.core.ast" version="3.0.0"/>
    </requires>
 
    <plugin

de.prob2.feature/feature.xml

@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.feature"
       label="ProB for Rodin3"
-      version="3.0.3.qualifier"
+      version="3.0.4.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
@@ -233,16 +233,16 @@ litigation.
       <import plugin="org.eclipse.core.databinding.beans" version="1.1.1" match="compatible"/>
       <import plugin="org.eclipse.gef" version="3.7.0" match="compatible"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
-      <import plugin="org.eventb.core" version="3.0.0" match="equivalent"/>
       <import plugin="org.eclipse.help" version="3.5.100" match="greaterOrEqual"/>
       <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="de.prob.ui" version="7.4.0" match="equivalent"/>
       <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
       <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/>
       <import plugin="de.bmotionstudio.gef.editor" version="5.5.0" match="equivalent"/>
-      <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
-      <import plugin="org.eventb.core.ast" version="3.0.0" match="equivalent"/>
-      <import plugin="org.eventb.core.seqprover" version="3.0.0" match="equivalent"/>
+      <import plugin="org.eventb.core" version="3.0.0"/>
+      <import plugin="org.eventb.core.ast" version="3.0.0"/>
+      <import plugin="org.eventb.core.seqprover" version="3.0.0"/>
    </requires>
 
    <plugin

de.prob2.symbolic.feature/feature.xml

@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.symbolic.feature"
       label="ProB for Rodin3 - Symbolic Constants Support"
-      version="3.0.3.qualifier"
+      version="3.0.4.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
@@ -236,7 +236,7 @@ litigation.
       <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.eclipse.ui" version="3.5.0" match="compatible"/>
-      <import plugin="org.eventb.core" version="3.0.0" match="equivalent"/>
+      <import plugin="org.eventb.core" version="3.0.0"/>
    </requires>
 
    <plugin

de.prob2.units.feature/feature.xml

@@ -2,7 +2,7 @@
 <feature
       id="de.prob2.units.feature"
       label="ProB for Rodin3 - Physical Units Support"
-      version="3.0.3.qualifier"
+      version="3.0.4.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
    <description url="http://www.stups.uni-duesseldorf.de/ProB">
@@ -225,15 +225,15 @@ litigation.
 
    <requires>
       <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.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="de.prob.core" version="9.4.0" match="equivalent"/>
       <import plugin="org.eventb.ui" version="3.0.0" match="equivalent"/>
-      <import plugin="org.eventb.core" version="3.0.0" match="equivalent"/>
+      <import plugin="de.prob.ui" version="7.4.0" match="equivalent"/>
       <import plugin="org.eclipse.ui.workbench"/>
+      <import plugin="org.eventb.core" version="3.0.0"/>
    </requires>
 
    <plugin