From 53558a9083b0b0362840509d274ed92488371ce3 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Tue, 3 Dec 2024 11:16:59 +0000
Subject: [PATCH] Update CrySL version to 4.0.1

---
 CrySLParser/pom.xml                                       | 2 +-
 de.darmstadt.tu.crossing.CrySL.feature/feature.xml        | 8 ++++----
 de.darmstadt.tu.crossing.CrySL.feature/pom.xml            | 2 +-
 de.darmstadt.tu.crossing.CrySL.ide/META-INF/MANIFEST.MF   | 2 +-
 de.darmstadt.tu.crossing.CrySL.ide/pom.xml                | 2 +-
 de.darmstadt.tu.crossing.CrySL.repository/category.xml    | 2 +-
 de.darmstadt.tu.crossing.CrySL.repository/pom.xml         | 2 +-
 de.darmstadt.tu.crossing.CrySL.target/pom.xml             | 2 +-
 de.darmstadt.tu.crossing.CrySL.tests/META-INF/MANIFEST.MF | 2 +-
 de.darmstadt.tu.crossing.CrySL.tests/pom.xml              | 2 +-
 de.darmstadt.tu.crossing.CrySL.ui/META-INF/MANIFEST.MF    | 2 +-
 de.darmstadt.tu.crossing.CrySL.ui/pom.xml                 | 2 +-
 de.darmstadt.tu.crossing.CrySL/META-INF/MANIFEST.MF       | 2 +-
 de.darmstadt.tu.crossing.CrySL/pom.xml                    | 2 +-
 pom.xml                                                   | 2 +-
 15 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/CrySLParser/pom.xml b/CrySLParser/pom.xml
index 224530d..bb035e6 100644
--- a/CrySLParser/pom.xml
+++ b/CrySLParser/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>de.darmstadt.tu.crossing.CrySL</groupId>
         <artifactId>de.darmstadt.tu.crossing.CrySL.parent</artifactId>
-        <version>4.0.0</version>
+        <version>4.0.1</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/de.darmstadt.tu.crossing.CrySL.feature/feature.xml b/de.darmstadt.tu.crossing.CrySL.feature/feature.xml
index 6b8007d..5867cd2 100644
--- a/de.darmstadt.tu.crossing.CrySL.feature/feature.xml
+++ b/de.darmstadt.tu.crossing.CrySL.feature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="de.darmstadt.tu.crossing.CrySL.feature"
       label="de.darmstadt.tu.crossing.CrySL.feature"
-      version="4.0.0"
+      version="4.0.1"
       provider-name="Technical University Darmstadt, Paderborn University"
       plugin="https://it.crossing.tu-darmstadt.de/cognicrypt/">
 
@@ -139,21 +139,21 @@ Exhibit A – Form of Secondary Licenses Notice
          id="de.darmstadt.tu.crossing.CrySL"
          download-size="0"
          install-size="0"
-         version="4.0.0"
+         version="4.0.1"
          unpack="false"/>
 
    <plugin
          id="de.darmstadt.tu.crossing.CrySL.ide"
          download-size="0"
          install-size="0"
-         version="4.0.0"
+         version="4.0.1"
          unpack="false"/>
 
    <plugin
          id="de.darmstadt.tu.crossing.CrySL.ui"
          download-size="0"
          install-size="0"
-         version="4.0.0"
+         version="4.0.1"
          unpack="false"/>
 
 </feature>
diff --git a/de.darmstadt.tu.crossing.CrySL.feature/pom.xml b/de.darmstadt.tu.crossing.CrySL.feature/pom.xml
index fc5fc0e..9d6c668 100644
--- a/de.darmstadt.tu.crossing.CrySL.feature/pom.xml
+++ b/de.darmstadt.tu.crossing.CrySL.feature/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>de.darmstadt.tu.crossing.CrySL</groupId>
         <artifactId>de.darmstadt.tu.crossing.CrySL.parent</artifactId>
-        <version>4.0.0</version>
+        <version>4.0.1</version>
     </parent>
     <artifactId>de.darmstadt.tu.crossing.CrySL.feature</artifactId>
     <packaging>eclipse-feature</packaging>
diff --git a/de.darmstadt.tu.crossing.CrySL.ide/META-INF/MANIFEST.MF b/de.darmstadt.tu.crossing.CrySL.ide/META-INF/MANIFEST.MF
index 165dde6..5c39c6a 100644
--- a/de.darmstadt.tu.crossing.CrySL.ide/META-INF/MANIFEST.MF
+++ b/de.darmstadt.tu.crossing.CrySL.ide/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: de.darmstadt.tu.crossing.CrySL.ide
 Bundle-Vendor: Technical University Darmstadt, Paderborn University
-Bundle-Version: 4.0.0
+Bundle-Version: 4.0.1
 Bundle-SymbolicName: de.darmstadt.tu.crossing.CrySL.ide; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: de.darmstadt.tu.crossing.CrySL,
diff --git a/de.darmstadt.tu.crossing.CrySL.ide/pom.xml b/de.darmstadt.tu.crossing.CrySL.ide/pom.xml
index bc357d1..86d5312 100644
--- a/de.darmstadt.tu.crossing.CrySL.ide/pom.xml
+++ b/de.darmstadt.tu.crossing.CrySL.ide/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>de.darmstadt.tu.crossing.CrySL</groupId>
         <artifactId>de.darmstadt.tu.crossing.CrySL.parent</artifactId>
-        <version>4.0.0</version>
+        <version>4.0.1</version>
     </parent>
     <artifactId>de.darmstadt.tu.crossing.CrySL.ide</artifactId>
     <packaging>eclipse-plugin</packaging>
diff --git a/de.darmstadt.tu.crossing.CrySL.repository/category.xml b/de.darmstadt.tu.crossing.CrySL.repository/category.xml
index 2870a37..1aaf1b1 100644
--- a/de.darmstadt.tu.crossing.CrySL.repository/category.xml
+++ b/de.darmstadt.tu.crossing.CrySL.repository/category.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <site>
-   <feature url="features/de.darmstadt.tu.crossing.CrySL.feature_4.0.0.jar" id="de.darmstadt.tu.crossing.CrySL.feature" version="4.0.0">
+   <feature url="features/de.darmstadt.tu.crossing.CrySL.feature_4.0.1.jar" id="de.darmstadt.tu.crossing.CrySL.feature" version="4.0.1">
       <category name="CrySL"/>
    </feature>
    <category-def name="CrySL" label="CrySL"/>
diff --git a/de.darmstadt.tu.crossing.CrySL.repository/pom.xml b/de.darmstadt.tu.crossing.CrySL.repository/pom.xml
index d362587..68564a7 100644
--- a/de.darmstadt.tu.crossing.CrySL.repository/pom.xml
+++ b/de.darmstadt.tu.crossing.CrySL.repository/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>de.darmstadt.tu.crossing.CrySL</groupId>
         <artifactId>de.darmstadt.tu.crossing.CrySL.parent</artifactId>
-        <version>4.0.0</version>
+        <version>4.0.1</version>
     </parent>
     <artifactId>de.darmstadt.tu.crossing.CrySL.repository</artifactId>
     <packaging>eclipse-repository</packaging>
diff --git a/de.darmstadt.tu.crossing.CrySL.target/pom.xml b/de.darmstadt.tu.crossing.CrySL.target/pom.xml
index d6480c7..b4a5ed6 100644
--- a/de.darmstadt.tu.crossing.CrySL.target/pom.xml
+++ b/de.darmstadt.tu.crossing.CrySL.target/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>de.darmstadt.tu.crossing.CrySL</groupId>
         <artifactId>de.darmstadt.tu.crossing.CrySL.parent</artifactId>
-        <version>4.0.0</version>
+        <version>4.0.1</version>
     </parent>
     <artifactId>de.darmstadt.tu.crossing.CrySL.target</artifactId>
     <packaging>eclipse-target-definition</packaging>
diff --git a/de.darmstadt.tu.crossing.CrySL.tests/META-INF/MANIFEST.MF b/de.darmstadt.tu.crossing.CrySL.tests/META-INF/MANIFEST.MF
index fc72657..40aad5c 100644
--- a/de.darmstadt.tu.crossing.CrySL.tests/META-INF/MANIFEST.MF
+++ b/de.darmstadt.tu.crossing.CrySL.tests/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: de.darmstadt.tu.crossing.CrySL.tests
 Bundle-Vendor: Technical University Darmstadt, Paderborn University
-Bundle-Version: 4.0.0
+Bundle-Version: 4.0.1
 Bundle-SymbolicName: de.darmstadt.tu.crossing.CrySL.tests; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: de.darmstadt.tu.crossing.CrySL,
diff --git a/de.darmstadt.tu.crossing.CrySL.tests/pom.xml b/de.darmstadt.tu.crossing.CrySL.tests/pom.xml
index 58382f6..1ec101d 100644
--- a/de.darmstadt.tu.crossing.CrySL.tests/pom.xml
+++ b/de.darmstadt.tu.crossing.CrySL.tests/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>de.darmstadt.tu.crossing.CrySL</groupId>
         <artifactId>de.darmstadt.tu.crossing.CrySL.parent</artifactId>
-        <version>4.0.0</version>
+        <version>4.0.1</version>
     </parent>
     <artifactId>de.darmstadt.tu.crossing.CrySL.tests</artifactId>
     <packaging>eclipse-test-plugin</packaging>
diff --git a/de.darmstadt.tu.crossing.CrySL.ui/META-INF/MANIFEST.MF b/de.darmstadt.tu.crossing.CrySL.ui/META-INF/MANIFEST.MF
index 30e48ad..df6b2ad 100644
--- a/de.darmstadt.tu.crossing.CrySL.ui/META-INF/MANIFEST.MF
+++ b/de.darmstadt.tu.crossing.CrySL.ui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: de.darmstadt.tu.crossing.CrySL.ui
 Bundle-Vendor: Technical University Darmstadt, Paderborn University
-Bundle-Version: 4.0.0
+Bundle-Version: 4.0.1
 Bundle-SymbolicName: de.darmstadt.tu.crossing.CrySL.ui; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: de.darmstadt.tu.crossing.CrySL,
diff --git a/de.darmstadt.tu.crossing.CrySL.ui/pom.xml b/de.darmstadt.tu.crossing.CrySL.ui/pom.xml
index b894a99..1b8aa32 100644
--- a/de.darmstadt.tu.crossing.CrySL.ui/pom.xml
+++ b/de.darmstadt.tu.crossing.CrySL.ui/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>de.darmstadt.tu.crossing.CrySL</groupId>
         <artifactId>de.darmstadt.tu.crossing.CrySL.parent</artifactId>
-        <version>4.0.0</version>
+        <version>4.0.1</version>
     </parent>
     <artifactId>de.darmstadt.tu.crossing.CrySL.ui</artifactId>
     <packaging>eclipse-plugin</packaging>
diff --git a/de.darmstadt.tu.crossing.CrySL/META-INF/MANIFEST.MF b/de.darmstadt.tu.crossing.CrySL/META-INF/MANIFEST.MF
index 4878a85..ef97240 100644
--- a/de.darmstadt.tu.crossing.CrySL/META-INF/MANIFEST.MF
+++ b/de.darmstadt.tu.crossing.CrySL/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: de.darmstadt.tu.crossing.CrySL
 Bundle-Vendor: Technical University Darmstadt, Paderborn University
-Bundle-Version: 4.0.0
+Bundle-Version: 4.0.1
 Bundle-SymbolicName: de.darmstadt.tu.crossing.CrySL; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: org.eclipse.xtext,
diff --git a/de.darmstadt.tu.crossing.CrySL/pom.xml b/de.darmstadt.tu.crossing.CrySL/pom.xml
index feed4d0..9146de9 100644
--- a/de.darmstadt.tu.crossing.CrySL/pom.xml
+++ b/de.darmstadt.tu.crossing.CrySL/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>de.darmstadt.tu.crossing.CrySL</groupId>
         <artifactId>de.darmstadt.tu.crossing.CrySL.parent</artifactId>
-        <version>4.0.0</version>
+        <version>4.0.1</version>
     </parent>
     <artifactId>de.darmstadt.tu.crossing.CrySL</artifactId>
     <packaging>eclipse-plugin</packaging>
diff --git a/pom.xml b/pom.xml
index c77a6df..66a9db6 100644
--- a/pom.xml
+++ b/pom.xml
@@ -4,7 +4,7 @@
     <modelVersion>4.0.0</modelVersion>
     <groupId>de.darmstadt.tu.crossing.CrySL</groupId>
     <artifactId>de.darmstadt.tu.crossing.CrySL.parent</artifactId>
-    <version>4.0.0</version>
+    <version>4.0.1</version>
     <packaging>pom</packaging>
 
     <name>CrySL-Parent</name>