Bump the gradle-deps group with 8 updates (#3627)

Author: Drodt

build.gradle

@@ -24,7 +24,7 @@ plugins {
     id "com.diffplug.spotless" version "7.0.4"
 
     // EISOP Checker Framework
-    id "org.checkerframework" version "0.6.53"
+    id "org.checkerframework" version "0.6.55"
 
     id("org.sonarqube") version "6.2.0.5505"
 }
@@ -101,9 +101,9 @@ subprojects {
 
         testImplementation("ch.qos.logback:logback-classic:1.5.18")
         testImplementation("org.assertj:assertj-core:3.27.3")
-        testImplementation("ch.qos.logback:logback-classic:1.5.17")
+        testImplementation("ch.qos.logback:logback-classic:1.5.18")
 
-        testImplementation(platform("org.junit:junit-bom:5.12.2"))
+        testImplementation(platform("org.junit:junit-bom:5.13.2"))
         testImplementation ("org.junit.jupiter:junit-jupiter-api")
         testImplementation ("org.junit.jupiter:junit-jupiter-api")
         testImplementation ("org.junit.jupiter:junit-jupiter-params")
@@ -112,10 +112,10 @@ subprojects {
         testImplementation project(':key.util')
 
         // test fixtures
-        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.18.2")
-        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.18.2")
+        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.19.1")
+        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.19.1")
 
-        testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.11.4'
+        testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.13.2'
     }
 
     tasks.withType(JavaCompile) {

key.removegenerics/build.gradle

@@ -1,6 +1,6 @@
 plugins {
     id 'application'
-    id 'com.gradleup.shadow' version "8.3.6"
+    id 'com.gradleup.shadow' version "8.3.8"
 }
 
 description = "Helper to remove generics from Java source code"

key.ui/build.gradle

@@ -7,7 +7,7 @@ plugins {
     // Used to create a single executable jar file with all dependencies
     // see task "shadowJar" below
     // https://github.com/GradleUp/shadow
-    id 'com.gradleup.shadow' version "8.3.6"
+    id 'com.gradleup.shadow' version "8.3.8"
 }
 
 description = "User interface for the deductive verification of Java programs"

keyext.isabelletranslation/build.gradle

@@ -3,5 +3,5 @@ description = "Translation of Sequents to Isabelle"
 dependencies {
     implementation project(':key.core')
     implementation project(':key.ui')
-    implementation("de.unruh:scala-isabelle_2.13:0.4.3-RC2")
+    implementation("de.unruh:scala-isabelle_2.13:0.4.3")
 }

keyext.proofmanagement/build.gradle

@@ -1,6 +1,6 @@
 plugins {
     id 'application'
-    id 'com.gradleup.shadow' version "8.3.6"
+    id 'com.gradleup.shadow' version "8.3.8"
 }
 
 description = "Management of larger verification with KeY."