From 5640ae31f5d188ec1fa722c3c8a39024ddcf951c Mon Sep 17 00:00:00 2001
From: ultimate <ultimatej@gmx.net>
Date: Mon, 15 Jun 2026 17:29:58 +0200
Subject: [PATCH 1/2] updated log4j dependencies

---
 KaroAPI4J/pom.xml |  2 +-
 pom.xml           | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/KaroAPI4J/pom.xml b/KaroAPI4J/pom.xml
index c88ec777..910e108f 100644
--- a/KaroAPI4J/pom.xml
+++ b/KaroAPI4J/pom.xml
@@ -74,7 +74,7 @@
 
 	<properties>
 		<!-- Dependencies -->
-		<log4j.version>2.25.4</log4j.version> <!-- 2024.03.18 -->
+		<log4j.version>2.25.4</log4j.version> <!-- 2026.06.12 -->
 		<servlet.version>3.1.1</servlet.version> <!-- 2022.02.24 -->
 		<jackson.version>2.17.0</jackson.version> <!-- 2024.03.18 -->
 	</properties>
diff --git a/pom.xml b/pom.xml
index 3abceee4..eae8f7cf 100644
--- a/pom.xml
+++ b/pom.xml
@@ -91,10 +91,10 @@
 		<junit.version>5.10.2</junit.version> <!-- updated 2024.03.17 -->
 
 		<ultimate.KaroToolsCollection.version>1.1.0</ultimate.KaroToolsCollection.version>
-		<ultimate.KaroAPI4J.version>1.4.1</ultimate.KaroAPI4J.version>
-		<ultimate.KaroMUSKEL.version>3.4.0</ultimate.KaroMUSKEL.version>
-		<ultimate.KaroEval.version>3.2.1</ultimate.KaroEval.version>
-		<ultimate.KaroExperiments.version>1.0.8</ultimate.KaroExperiments.version>
-		<ultimate.KaroRAUPE.version>1.3.0</ultimate.KaroRAUPE.version>
+		<ultimate.KaroAPI4J.version>1.4.2</ultimate.KaroAPI4J.version>
+		<ultimate.KaroMUSKEL.version>3.4.1</ultimate.KaroMUSKEL.version>
+		<ultimate.KaroEval.version>3.2.2</ultimate.KaroEval.version>
+		<ultimate.KaroExperiments.version>1.0.9</ultimate.KaroExperiments.version>
+		<ultimate.KaroRAUPE.version>1.3.1</ultimate.KaroRAUPE.version>
 	</properties>
 </project>

From d78949aa06a7e1379b0867525723822a5459b50e Mon Sep 17 00:00:00 2001
From: ultimate <ultimatej@gmx.net>
Date: Mon, 15 Jun 2026 17:34:29 +0200
Subject: [PATCH 2/2] fix versions in tests

---
 KaroAPI4J/src/test/java/ultimate/karoapi4j/KaroAPITest.java   | 2 +-
 .../src/test/java/ultimate/karomuskel/LauncherTest.java       | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/KaroAPI4J/src/test/java/ultimate/karoapi4j/KaroAPITest.java b/KaroAPI4J/src/test/java/ultimate/karoapi4j/KaroAPITest.java
index a1d25d44..0455e285 100644
--- a/KaroAPI4J/src/test/java/ultimate/karoapi4j/KaroAPITest.java
+++ b/KaroAPI4J/src/test/java/ultimate/karoapi4j/KaroAPITest.java
@@ -127,7 +127,7 @@ private static Date createUTCDate(int year, int month, int day, int hour, int mi
 	public void test_version() throws InterruptedException, ExecutionException
 	{
 		assertNotNull(KaroAPI.getVersion());
-		assertEquals(new Version("1.4.1"), KaroAPI.getVersion());
+		assertEquals(new Version("1.4.2"), KaroAPI.getVersion());
 	}
 
 	@Test
diff --git a/KaroMUSKEL-Java/src/test/java/ultimate/karomuskel/LauncherTest.java b/KaroMUSKEL-Java/src/test/java/ultimate/karomuskel/LauncherTest.java
index 0e6f2129..9f9319fd 100644
--- a/KaroMUSKEL-Java/src/test/java/ultimate/karomuskel/LauncherTest.java
+++ b/KaroMUSKEL-Java/src/test/java/ultimate/karomuskel/LauncherTest.java
@@ -12,8 +12,8 @@
 
 public class LauncherTest
 {
-	private static final Version	apiVersion	= new Version("1.4.1");
-	private static final Version	appVersion	= new Version("3.4.0");
+	private static final Version	apiVersion	= new Version("1.4.2");
+	private static final Version	appVersion	= new Version("3.4.1");
 
 	@Test
 	public void test_APIVersion() throws InterruptedException, ExecutionException