From 07d51a4ab446b393aef27d831827e7e372922742 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 5 Jul 2023 15:49:45 +0200
Subject: [PATCH] Bump version number to 3.4.1

---
 org.eventb.texteditor.feature/category.xml         | 2 +-
 org.eventb.texteditor.feature/feature.xml          | 8 ++++----
 org.eventb.texteditor.feature/pom.xml              | 4 ++--
 org.eventb.texteditor.parent/pom.xml               | 2 +-
 org.eventb.texteditor.parsers/META-INF/MANIFEST.MF | 2 +-
 org.eventb.texteditor.parsers/pom.xml              | 4 ++--
 org.eventb.texteditor.repository/category.xml      | 2 +-
 org.eventb.texteditor.repository/pom.xml           | 4 ++--
 org.eventb.texteditor.ui/META-INF/MANIFEST.MF      | 4 ++--
 org.eventb.texteditor.ui/pom.xml                   | 4 ++--
 org.eventb.texttools/META-INF/MANIFEST.MF          | 2 +-
 org.eventb.texttools/pom.xml                       | 4 ++--
 12 files changed, 21 insertions(+), 21 deletions(-)

diff --git a/org.eventb.texteditor.feature/category.xml b/org.eventb.texteditor.feature/category.xml
index 3db85f4..32e3567 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 abc0078..48831d7 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 faf6b30..0f93474 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 08100ef..4848a52 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 5cadc4f..995006b 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 faa7c41..1a03849 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 a3b8d95..88d2853 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 8cc2a47..3a33bef 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 07931d8..7754cb2 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 63794f9..d3e2389 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 2e19536..f2a9152 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 eb19945..66f7d60 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>
-- 
GitLab