diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
index d51f7c6fbfc3643ab3835dfea27032834f06a5f2..217cb85a274fb3864f7a24b21753e5e8768c07fc 100644
--- a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
+++ b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: BMotion Studio Editor Plug-in
Bundle-SymbolicName: de.bmotionstudio.gef.editor;singleton:=true
-Bundle-Version: 5.4.0.qualifier
+Bundle-Version: 5.4.1.qualifier
Bundle-Activator: de.bmotionstudio.gef.editor.BMotionEditorPlugin
Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index b2dc420bf9559760fa14aef52939e9f5a917989a..c7d986ea12a9a8794eb202b19b54a88bb789f11e 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -1,22 +1,22 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<feature
- id="de.prob2.feature"
- label="ProB for Rodin2"
- version="2.3.3.qualifier"
- provider-name="HHU Düsseldorf STUPS Group">
-
- <description url="http://www.stups.uni-duesseldorf.de/ProB">
+<?xml version="1.0" encoding="UTF-8"?>
+<feature
+ id="de.prob2.feature"
+ label="ProB for Rodin2"
+ version="2.3.4.qualifier"
+ provider-name="HHU Düsseldorf STUPS Group">
+
+ <description url="http://www.stups.uni-duesseldorf.de/ProB">
ProB is an animator and model checker for the B-Method. It allows fully automatic animation of many B specifications, and can be used to systematically check a specification for errors.
Part of the research and development was conducted within the EPSRC funded projects ABCD and iMoc, and within the EU funded project Rodin.
Development is continued under the EU funded project Deploy and the DFG project Gepavas.
-ProB has been successfully used on various industrial specifications and is now being used within Siemens.
- </description>
-
- <copyright>
- (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
- </copyright>
-
- <license url="http://www.eclipse.org/org/documents/epl-v10.html">
+ProB has been successfully used on various industrial specifications and is now being used within Siemens.
+ </description>
+
+ <copyright>
+ (C) 2000-2011 Michael Leuschel (and many others) All rights reserved.
+ </copyright>
+
+ <license url="http://www.eclipse.org/org/documents/epl-v10.html">
ProB can be used freely for commercial, non-commercial and academic
use under the Eclipse Public Licence v. 1.0. (below)
For availability of commercial support, please contact the author
@@ -220,63 +220,63 @@ and the intellectual property laws of the United States of America.
No party to this Agreement will bring a legal action under this
Agreement more than one year after the cause of action arose.
Each party waives its rights to a jury trial in any resulting
-litigation.
- </license>
-
- <requires>
- <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.ui.views" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.core.databinding" version="1.2.0" match="compatible"/>
- <import plugin="org.eclipse.jface.databinding" version="1.2.1" match="compatible"/>
- <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.3.0" match="equivalent"/>
- <import plugin="org.eventb.core" version="2.1.0"/>
- <import plugin="org.rodinp.core" version="1.3.1"/>
- <import plugin="de.prob.ui" version="7.3.0" match="equivalent"/>
- <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
- <import plugin="org.eclipse.gef" version="3.5.0" match="compatible"/>
- <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/>
- <import plugin="de.bmotionstudio.gef.editor" version="5.4.0" match="equivalent"/>
- </requires>
-
- <plugin
- id="de.bmotionstudio.gef.editor"
- download-size="0"
- install-size="0"
- version="0.0.0"
- unpack="false"/>
-
- <plugin
- id="de.prob.core"
- download-size="0"
- install-size="0"
- version="0.0.0"/>
-
- <plugin
- id="de.prob.plugin"
- download-size="0"
- install-size="0"
- version="0.0.0"
- fragment="true"
- unpack="false"/>
-
- <plugin
- id="de.prob.ui"
- download-size="0"
- install-size="0"
- version="0.0.0"
- unpack="false"/>
-
- <plugin
- id="de.bmotionstudio.rodin"
- download-size="0"
- install-size="0"
- version="0.0.0"
- fragment="true"
- unpack="false"/>
-
-</feature>
+litigation.
+ </license>
+
+ <requires>
+ <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.ui.views" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.core.databinding" version="1.2.0" match="compatible"/>
+ <import plugin="org.eclipse.jface.databinding" version="1.2.1" match="compatible"/>
+ <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.3.0" match="equivalent"/>
+ <import plugin="org.eventb.core" version="2.1.0"/>
+ <import plugin="org.rodinp.core" version="1.3.1"/>
+ <import plugin="de.prob.ui" version="7.3.0" match="equivalent"/>
+ <import plugin="org.eclipse.core.resources" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.core.expressions" version="3.4.101" match="compatible"/>
+ <import plugin="org.eclipse.gef" version="3.5.0" match="compatible"/>
+ <import plugin="org.eclipse.ui.navigator" version="3.5.0" match="greaterOrEqual"/>
+ <import plugin="de.bmotionstudio.gef.editor" version="5.4.0" match="equivalent"/>
+ </requires>
+
+ <plugin
+ id="de.bmotionstudio.gef.editor"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"
+ unpack="false"/>
+
+ <plugin
+ id="de.prob.core"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"/>
+
+ <plugin
+ id="de.prob.plugin"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"
+ fragment="true"
+ unpack="false"/>
+
+ <plugin
+ id="de.prob.ui"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"
+ unpack="false"/>
+
+ <plugin
+ id="de.bmotionstudio.rodin"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"
+ fragment="true"
+ unpack="false"/>
+
+</feature>