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

Author: unp1

build.gradle

@@ -8,7 +8,7 @@
     id("eclipse")  //support for Eclipse
 
     // Code formatting
-    id "com.diffplug.spotless" version "8.3.0"
+    id "com.diffplug.spotless" version "8.4.0"
 
     // EISOP Checker Framework
     id "org.checkerframework" version "0.6.61"
@@ -91,8 +91,8 @@ subprojects {
         testImplementation project(':key.util')
 
         // test fixtures
-        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.1")
-        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.1")
+        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.2")
+        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.2")
 
         testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine'
     }

gradle/wrapper/gradle-wrapper.properties

@@ -1,6 +1,6 @@
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-9.4.0-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-9.4.1-bin.zip
 networkTimeout=10000
 validateDistributionUrl=true
 zipStoreBase=GRADLE_USER_HOME

gradlew

@@ -9,7 +9,7 @@ dependencies {
     api project(':key.util')
     api project(':key.ncore')
     api project(':key.ncore.calculus')
-    testImplementation 'junit:junit:4.13.1'
+    testImplementation 'junit:junit:4.13.2'
     //api group: group, name: 'recoderkey', version: '1.0'
 
     // JavaCC
@@ -26,11 +26,11 @@ dependencies {
     api "org.key-project.proofjava:javaparser-core-serialization:$JP_VERSION"
     api "org.key-project.proofjava:javaparser-symbol-solver-core:$JP_VERSION"
 
-    testImplementation("com.google.truth:truth:1.4.4")
+    testImplementation("com.google.truth:truth:1.4.5")
     testImplementation(project(":key.core"))
 
     // https://mvnrepository.com/artifact/com.fasterxml.jackson.dataformat/jackson-dataformat-yaml
-    testImplementation 'com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.15.2'
+    testImplementation 'com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.2'
 }
 
 // The target directory for JavaCC (parser generation)

key.core/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.2"
+    id 'com.gradleup.shadow' version "9.4.1"
 }
 
 description = "User interface for the deductive verification of Java programs"
@@ -17,7 +17,7 @@ dependencies {
     implementation project(":key.core")
     //implementation project(":key.core.rifl")
 
-    implementation("com.formdev:flatlaf:3.7")
+    implementation("com.formdev:flatlaf:3.7.1")
 
     implementation project(":key.core.infflow")
     implementation project(":key.core.wd")

key.ui/build.gradle

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