Bump the gradle-deps group with 4 updates

build.gradle

@@ -79,7 +79,7 @@ subprojects {
     dependencies {
         implementation("org.slf4j:slf4j-api:2.0.17")
         implementation("org.slf4j:slf4j-api:2.0.17")
-        testImplementation("ch.qos.logback:logback-classic:1.5.23")
+        testImplementation("ch.qos.logback:logback-classic:1.5.24")
 
 
         compileOnly("org.jspecify:jspecify:1.0.0")
@@ -91,11 +91,11 @@ subprojects {
         checkerFramework "io.github.eisop:checker-qual:$eisop_version"
         checkerFramework "io.github.eisop:checker:$eisop_version"
 
-        testImplementation("ch.qos.logback:logback-classic:1.5.23")
+        testImplementation("ch.qos.logback:logback-classic:1.5.24")
         testImplementation("org.assertj:assertj-core:3.27.6")
-        testImplementation("ch.qos.logback:logback-classic:1.5.23")
+        testImplementation("ch.qos.logback:logback-classic:1.5.24")
 
-        testImplementation(platform("org.junit:junit-bom:5.14.1"))
+        testImplementation(platform("org.junit:junit-bom:5.14.2"))
         testImplementation ("org.junit.jupiter:junit-jupiter-api")
         testImplementation ("org.junit.jupiter:junit-jupiter-params")
         testRuntimeOnly ("org.junit.jupiter:junit-jupiter-engine")
@@ -107,7 +107,7 @@ subprojects {
         testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.20.1")
         testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.20.1")
 
-        testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.14.1'
+        testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.14.2'
     }
 
     tasks.withType(JavaCompile) {

key.core.example/build.gradle

@@ -10,5 +10,5 @@ application {
 
 dependencies {
     implementation project(":key.core")
-    implementation 'ch.qos.logback:logback-classic:1.5.23'
+    implementation 'ch.qos.logback:logback-classic:1.5.24'
 }

key.removegenerics/build.gradle

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

key.ui/build.gradle

@@ -8,7 +8,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 "9.3.0"
+    id 'com.gradleup.shadow' version "9.3.1"
 }
 
 description = "User interface for the deductive verification of Java programs"
@@ -28,7 +28,7 @@ dependencies {
     implementation("info.picocli:picocli:4.7.7")
 
     //logging implementation used by the slf4j
-    implementation 'ch.qos.logback:logback-classic:1.5.23'
+    implementation 'ch.qos.logback:logback-classic:1.5.24'
 
     api 'org.key-project:docking-frames-common:1.1.3p1'
     api 'org.key-project:docking-frames-core:1.1.3p1'

keyext.proofmanagement/build.gradle

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