diff --git a/org.eventb.texteditor.feature/category.xml b/org.eventb.texteditor.feature/category.xml
index 3db85f48c23cf5c1b6991dc41e0a6924a23d1876..32e3567f12a337b76a48faec82fc4d23fc0c2eef 100644
--- a/org.eventb.texteditor.feature/category.xml
+++ b/org.eventb.texteditor.feature/category.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <site>
-   <feature url="features/org.eventb.texteditor.feature_3.4.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.4.0.qualifier">
+   <feature url="features/org.eventb.texteditor.feature_3.4.1.qualifier.jar" id="org.eventb.texteditor.feature" version="3.4.1.qualifier">
       <category name="camille"/>
    </feature>
    <category-def name="camille" label="camille"/>
diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index abc0078030bf4437b457d8e139d0f76f2691f854..48831d7386b2bf8f3d1a6f351c4d0ee03e50fcf5 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.eventb.texteditor.feature"
       label="Camille TextEditor"
-      version="3.4.0.qualifier"
+      version="3.4.1.qualifier"
       provider-name="Heinrich-Heine University Dusseldorf"
       plugin="org.eventb.texteditor.ui">
 
@@ -205,21 +205,21 @@ Inc. in the United States, other countries, or both.
          id="org.eventb.texteditor.ui"
          download-size="0"
          install-size="0"
-         version="3.4.0.qualifier"
+         version="3.4.1.qualifier"
          unpack="false"/>
 
    <plugin
          id="org.eventb.texttools"
          download-size="0"
          install-size="0"
-         version="3.4.0.qualifier"
+         version="3.4.1.qualifier"
          unpack="false"/>
 
    <plugin
          id="org.eventb.texteditor.parsers"
          download-size="0"
          install-size="0"
-         version="3.4.0.qualifier"
+         version="3.4.1.qualifier"
          unpack="false"/>
 
 </feature>
diff --git a/org.eventb.texteditor.feature/pom.xml b/org.eventb.texteditor.feature/pom.xml
index faf6b309a998aa37c38772854038cd08d8b75217..0f934746bddf4a76e365124d6b5049591aef8cbb 100644
--- a/org.eventb.texteditor.feature/pom.xml
+++ b/org.eventb.texteditor.feature/pom.xml
@@ -6,11 +6,11 @@
 		<parent>
 			<groupId>org.eventb.texteditor</groupId>
 			<artifactId>org.eventb.texteditor.parent</artifactId>
-			<version>3.4.0.qualifier</version>
+			<version>3.4.1.qualifier</version>
 			<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 		</parent>
 		<groupId>org.eventb.texteditor</groupId>
 		<artifactId>org.eventb.texteditor.feature</artifactId>
-		<version>3.4.0-SNAPSHOT</version>
+		<version>3.4.1-SNAPSHOT</version>
 		<packaging>eclipse-feature</packaging>
 	</project>
diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml
index 08100efefa9cda04c1778c3fd9642a12bb715f82..4848a528cdae9dffcf798239859becb1fc5f8751 100644
--- a/org.eventb.texteditor.parent/pom.xml
+++ b/org.eventb.texteditor.parent/pom.xml
@@ -4,7 +4,7 @@
 
 	<groupId>org.eventb.texteditor</groupId>
   	<artifactId>org.eventb.texteditor.parent</artifactId>
-  	<version>3.4.0.qualifier</version>
+  	<version>3.4.1.qualifier</version>
 
 	<packaging>pom</packaging>
 
diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index 5cadc4f677c8ad4115ac3d02d303d8588a60735f..995006b16a6fe5e7519cda14273980e2bdac8d49 100644
--- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Parsers for Camille
 Bundle-SymbolicName: org.eventb.texteditor.parsers
-Bundle-Version: 3.4.0.qualifier
+Bundle-Version: 3.4.1.qualifier
 Bundle-Activator: org.eventb.texteditor.parsers.Activator
 Require-Bundle: org.eclipse.core.runtime
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
diff --git a/org.eventb.texteditor.parsers/pom.xml b/org.eventb.texteditor.parsers/pom.xml
index faa7c415fe39c0c387b71f676b5aea88828fd871..1a03849d48003cc4b000d009477d90ac500a0ef9 100644
--- a/org.eventb.texteditor.parsers/pom.xml
+++ b/org.eventb.texteditor.parsers/pom.xml
@@ -6,11 +6,11 @@
     <relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
     <groupId>org.eventb.texteditor</groupId>
     <artifactId>org.eventb.texteditor.parent</artifactId>
-    <version>3.4.0.qualifier</version>
+    <version>3.4.1.qualifier</version>
   </parent>
 
   <artifactId>org.eventb.texteditor.parsers</artifactId>
-  <version>3.4.0-SNAPSHOT</version>
+  <version>3.4.1-SNAPSHOT</version>
   <packaging>eclipse-plugin</packaging>
 
   <build>
diff --git a/org.eventb.texteditor.repository/category.xml b/org.eventb.texteditor.repository/category.xml
index a3b8d95e7fa3b55efaa62ae4633b87d50ca38c92..88d28531ef0cc9188f9dc85ff2b48bde4fa00f44 100644
--- a/org.eventb.texteditor.repository/category.xml
+++ b/org.eventb.texteditor.repository/category.xml
@@ -2,7 +2,7 @@
 <site>
 
 
-	<feature url="features/org.eventb.texteditor.feature_3.4.0.qualifier.jar" id="org.eventb.texteditor.feature" version="3.4.0.qualifier">
+	<feature url="features/org.eventb.texteditor.feature_3.4.1.qualifier.jar" id="org.eventb.texteditor.feature" version="3.4.1.qualifier">
 		<category name="org.eventb.texteditor.feature.category"/>
 	</feature>
 
diff --git a/org.eventb.texteditor.repository/pom.xml b/org.eventb.texteditor.repository/pom.xml
index 8cc2a47a73616e21557590ecae5127d3964ad745..3a33bef41c5a86acb4d92f70ae1f203afa3b94f5 100644
--- a/org.eventb.texteditor.repository/pom.xml
+++ b/org.eventb.texteditor.repository/pom.xml
@@ -6,14 +6,14 @@
     <parent>
       <groupId>org.eventb.texteditor</groupId>
       <artifactId>org.eventb.texteditor.parent</artifactId>
-      <version>3.4.0.qualifier</version>
+      <version>3.4.1.qualifier</version>
       <relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
     </parent>
 
 
     <groupId>org.eventb.texteditor</groupId>
     <artifactId>org.eventb.texteditor.repository</artifactId>
-    <version>3.4.0.qualifier</version>
+    <version>3.4.1.qualifier</version>
     <packaging>eclipse-repository</packaging>
 
 
diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
index 07931d8a8c67badb6d108e242c1c89add8b11600..7754cb2fe9e5032acd27be6d9b59d3d96fce7956 100644
--- a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
@@ -2,10 +2,10 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Camille Texteditor
 Bundle-SymbolicName: org.eventb.texteditor.ui;singleton:=true
-Bundle-Version: 3.4.0.qualifier
+Bundle-Version: 3.4.1.qualifier
 Bundle-Localization: plugin
 Bundle-Activator: org.eventb.texteditor.ui.TextEditorPluginImplementation
-Require-Bundle: org.eventb.texttools;bundle-version="[3.4.0,3.5.0)";visibility:=reexport,
+Require-Bundle: org.eventb.texttools;bundle-version="[3.4.1,3.5.0)";visibility:=reexport,
  org.eventb.emf.formulas;bundle-version="[1.4.0,2.0.0)",
  org.eventb.emf.persistence;bundle-version="[3.1.1,4.0.0)";visibility:=reexport,
  org.eventb.ui;bundle-version="[3.0.0,4.0.0)";visibility:=reexport,
diff --git a/org.eventb.texteditor.ui/pom.xml b/org.eventb.texteditor.ui/pom.xml
index 63794f994dafa852c8b75805acda9768263efda5..d3e2389579ec0746aa105702ca17c169f4c24b3c 100644
--- a/org.eventb.texteditor.ui/pom.xml
+++ b/org.eventb.texteditor.ui/pom.xml
@@ -6,13 +6,13 @@
 		<parent>
 			<groupId>org.eventb.texteditor</groupId>
 			<artifactId>org.eventb.texteditor.parent</artifactId>
-			<version>3.4.0.qualifier</version>
+			<version>3.4.1.qualifier</version>
 			<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 		</parent>
 
 		<groupId>org.eventb.texteditor</groupId>
 		<artifactId>org.eventb.texteditor.ui</artifactId>
-		<version>3.4.0-SNAPSHOT</version>
+		<version>3.4.1-SNAPSHOT</version>
 		<packaging>eclipse-plugin</packaging>
 
 	</project>
diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF
index 2e195366d1ec4129d22634b4d2d6c1fea3b4ca95..f2a9152a29839f5642d00eb751a4ba537af63555 100644
--- a/org.eventb.texttools/META-INF/MANIFEST.MF
+++ b/org.eventb.texttools/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Event-B EMF Texttools
 Bundle-SymbolicName: org.eventb.texttools;singleton:=true
-Bundle-Version: 3.4.0.qualifier
+Bundle-Version: 3.4.1.qualifier
 Bundle-Activator: org.eventb.texttools.TextToolsPlugin
 Require-Bundle: org.eclipse.jface.text;bundle-version="[3.6.0,4.0.0)",
  org.eventb.emf.formulas;bundle-version="[1.4.0,2.0.0)",
diff --git a/org.eventb.texttools/pom.xml b/org.eventb.texttools/pom.xml
index eb1994596b028cd2c039ee8f5aab78d3e29ca432..66f7d608de8d0d0aa061318a7dca7e4ccc32ec4b 100644
--- a/org.eventb.texttools/pom.xml
+++ b/org.eventb.texttools/pom.xml
@@ -6,13 +6,13 @@
 		<parent>
 			<groupId>org.eventb.texteditor</groupId>
 			<artifactId>org.eventb.texteditor.parent</artifactId>
-			<version>3.4.0.qualifier</version>
+			<version>3.4.1.qualifier</version>
 			<relativePath>../org.eventb.texteditor.parent/pom.xml</relativePath>
 		</parent>
 
 		<groupId>org.eventb.texteditor</groupId>
 		<artifactId>org.eventb.texttools</artifactId>
-		<version>3.4.0-SNAPSHOT</version>
+		<version>3.4.1-SNAPSHOT</version>
 		<packaging>eclipse-plugin</packaging>
 
 	</project>