diff --git a/build.gradle b/build.gradle
index 68f34d23bcc..56aac88f403 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,4 +1,4 @@
-    plugins {
+plugins {
     //Support for IntelliJ IDEA
     //https://docs.gradle.org/current/userguide/idea_plugin.html
     id("idea")
@@ -13,8 +13,6 @@
     // EISOP Checker Framework
     id "org.checkerframework" version "0.6.61"
 
-    id("org.sonarqube") version "7.2.3.7755"
-
     // Plugin for publishing via the new Nexus API
     id "io.github.gradle-nexus.publish-plugin" version "2.0.0"
 
@@ -71,7 +69,7 @@ subprojects {
 
         compileOnly("org.jspecify:jspecify:1.0.0")
         testCompileOnly("org.jspecify:jspecify:1.0.0")
-        def eisop_version = "3.49.3-eisop1"
+        def eisop_version = "3.49.5-eisop1"
         compileOnly "io.github.eisop:checker-qual:$eisop_version"
         compileOnly "io.github.eisop:checker-util:$eisop_version"
         testCompileOnly "io.github.eisop:checker-qual:$eisop_version"
@@ -82,7 +80,7 @@ subprojects {
         testImplementation("org.assertj:assertj-core:3.27.7")
         testImplementation("ch.qos.logback:logback-classic:1.5.32")
 
-        testImplementation(platform("org.junit:junit-bom:5.14.3"))
+        testImplementation(platform("org.junit:junit-bom:6.0.3"))
         testImplementation ("org.junit.jupiter:junit-jupiter-api")
         testImplementation ("org.junit.jupiter:junit-jupiter-params")
         testRuntimeOnly ("org.junit.jupiter:junit-jupiter-engine")
@@ -92,8 +90,8 @@ subprojects {
         testImplementation (testFixtures(project(":key.util")))
 
         // test fixtures
-        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.2")
-        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.2")
+        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.3")
+        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.3")
 
         testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine'
     }
diff --git a/key.core/build.gradle b/key.core/build.gradle
index eb7714f746a..eedd94a7f58 100644
--- a/key.core/build.gradle
+++ b/key.core/build.gradle
@@ -25,7 +25,7 @@ dependencies {
     testImplementation(project(":key.core"))
 
     // https://mvnrepository.com/artifact/com.fasterxml.jackson.dataformat/jackson-dataformat-yaml
-    testImplementation 'com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.2'
+    testImplementation 'com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.3'
 
     // test fixtures
     testFixturesApi(testFixtures(project(":key.util")))
diff --git a/key.core/src/test/java/de/uka/ilkd/key/speclang/jml/pretranslation/TextualJMLAssertStatementTest.java b/key.core/src/test/java/de/uka/ilkd/key/speclang/jml/pretranslation/TextualJMLAssertStatementTest.java
index 93e82318c2b..4ab45085ab1 100644
--- a/key.core/src/test/java/de/uka/ilkd/key/speclang/jml/pretranslation/TextualJMLAssertStatementTest.java
+++ b/key.core/src/test/java/de/uka/ilkd/key/speclang/jml/pretranslation/TextualJMLAssertStatementTest.java
@@ -20,7 +20,7 @@ private static ImmutableList<TextualJMLConstruct> parseMethodLevel(String ms) {
     }
 
     @ParameterizedTest
-    @CsvSource(delimiter = '#',
+    @CsvSource(delimiter = '#', commentCharacter = '´',
         textBlock = """
                 //@ assert true; # true;
                 //@ assert 1 + 2 == 3 && 2 != 3; # 1 + 2 == 3 && 2 != 3;
diff --git a/key.util/build.gradle b/key.util/build.gradle
index cfe26a0db9c..4d678dec38b 100644
--- a/key.util/build.gradle
+++ b/key.util/build.gradle
@@ -10,7 +10,7 @@ dependencies {
     // we also export these dependency into src/test/java.
     testFixturesApi(project(':key.util'))
 
-    testFixturesApi(platform("org.junit:junit-bom:5.14.3"))
+    testFixturesApi(platform("org.junit:junit-bom:6.0.3"))
     testFixturesApi("org.junit.jupiter:junit-jupiter-api")
     testFixturesApi("org.junit.jupiter:junit-jupiter-params")
     testFixturesApi("org.assertj:assertj-core:3.27.7")
@@ -19,10 +19,10 @@ dependencies {
     testFixturesApi("ch.qos.logback:logback-classic:1.5.32")
 
     // test fixtures
-    testFixturesApi("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.2")
-    testFixturesApi("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.2")
+    testFixturesApi("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.3")
+    testFixturesApi("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.3")
 
-    def eisop_version = "3.49.3-eisop1"
+    def eisop_version = "3.49.5-eisop1"
     testFixturesCompileOnly( "io.github.eisop:checker-qual:$eisop_version")
 }