Bump the gradle-deps group across 1 directory with 8 updates

Bumps the gradle-deps group with 8 updates in the / directory:

| Package | From | To |
| --- | --- | --- |
| org.slf4j:slf4j-api | `2.0.17` | `2.0.18` |
| [ch.qos.logback:logback-classic](https://github.com/qos-ch/logback) | `1.5.32` | `1.5.34` |
| [org.junit:junit-bom](https://github.com/junit-team/junit-framework) | `6.0.3` | `6.1.0` |
| [com.fasterxml.jackson.dataformat:jackson-dataformat-yaml](https://github.com/FasterXML/jackson-dataformats-text) | `2.21.3` | `2.21.4` |
| com.fasterxml.jackson.datatype:jackson-datatype-jsr310 | `2.21.3` | `2.22.0` |
| com.diffplug.spotless | `8.4.0` | `8.6.0` |
| [com.gradleup.shadow](https://github.com/GradleUp/shadow) | `9.4.1` | `9.4.2` |
| [gradle-wrapper](https://github.com/gradle/gradle) | `9.5.0` | `9.5.1` |



Updates `org.slf4j:slf4j-api` from 2.0.17 to 2.0.18

Updates `ch.qos.logback:logback-classic` from 1.5.32 to 1.5.34
- [Release notes](https://github.com/qos-ch/logback/releases)
- [Commits](qos-ch/logback@v_1.5.32...v_1.5.34)

Updates `org.junit:junit-bom` from 6.0.3 to 6.1.0
- [Release notes](https://github.com/junit-team/junit-framework/releases)
- [Commits](junit-team/junit-framework@r6.0.3...r6.1.0)

Updates `com.fasterxml.jackson.dataformat:jackson-dataformat-yaml` from 2.21.3 to 2.21.4
- [Commits](FasterXML/jackson-dataformats-text@jackson-dataformats-text-2.21.3...jackson-dataformats-text-2.21.4)

Updates `com.fasterxml.jackson.datatype:jackson-datatype-jsr310` from 2.21.3 to 2.22.0

Updates `com.diffplug.spotless` from 8.4.0 to 8.6.0

Updates `com.gradleup.shadow` from 9.4.1 to 9.4.2
- [Release notes](https://github.com/GradleUp/shadow/releases)
- [Commits](GradleUp/shadow@9.4.1...9.4.2)

Updates `gradle-wrapper` from 9.5.0 to 9.5.1
- [Release notes](https://github.com/gradle/gradle/releases)
- [Commits](gradle/gradle@v9.5.0...v9.5.1)

---
updated-dependencies:
- dependency-name: ch.qos.logback:logback-classic
  dependency-version: 1.5.34
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: com.diffplug.spotless
  dependency-version: 8.6.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: com.fasterxml.jackson.dataformat:jackson-dataformat-yaml
  dependency-version: 2.22.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: com.fasterxml.jackson.datatype:jackson-datatype-jsr310
  dependency-version: 2.22.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: com.gradleup.shadow
  dependency-version: 9.4.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: gradle-wrapper
  dependency-version: 9.5.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: org.junit:junit-bom
  dependency-version: 6.1.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
- dependency-name: org.slf4j:slf4j-api
  dependency-version: 2.0.18
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

build.gradle

@@ -8,7 +8,7 @@ plugins {
     id("eclipse")  //support for Eclipse
 
     // Code formatting
-    id "com.diffplug.spotless" version "8.4.0"
+    id "com.diffplug.spotless" version "8.6.0"
 
     // EISOP Checker Framework
     id "org.checkerframework" version "0.6.61"
@@ -63,8 +63,8 @@ subprojects {
     }
 
     dependencies {
-        implementation("org.slf4j:slf4j-api:2.0.17")
-        testImplementation("ch.qos.logback:logback-classic:1.5.32")
+        implementation("org.slf4j:slf4j-api:2.0.18")
+        testImplementation("ch.qos.logback:logback-classic:1.5.34")
 
 
         compileOnly("org.jspecify:jspecify:1.0.0")
@@ -76,11 +76,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.32")
+        testImplementation("ch.qos.logback:logback-classic:1.5.34")
         testImplementation("org.assertj:assertj-core:3.27.7")
-        testImplementation("ch.qos.logback:logback-classic:1.5.32")
+        testImplementation("ch.qos.logback:logback-classic:1.5.34")
 
-        testImplementation(platform("org.junit:junit-bom:6.0.3"))
+        testImplementation(platform("org.junit:junit-bom:6.1.0"))
         testImplementation ("org.junit.jupiter:junit-jupiter-api")
         testImplementation ("org.junit.jupiter:junit-jupiter-params")
         testRuntimeOnly ("org.junit.jupiter:junit-jupiter-engine")
@@ -90,8 +90,8 @@ subprojects {
         testImplementation (testFixtures(project(":key.util")))
 
         // test fixtures
-        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.3")
-        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.3")
+        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.4")
+        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.22.0")
 
         testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine'
     }
@@ -438,9 +438,9 @@ tasks.register('alldoc', Javadoc){
         bottom = "Copyright &copy; 2003-2026 <a href=\"http://key-project.org\">The KeY-Project</a>."
         use = true
         links += "https://docs.oracle.com/en/java/javase/21/docs/api/"
-        links += "https://www.javadoc.io/doc/org.slf4j/slf4j-api/2.0.17/"
+        links += "https://www.javadoc.io/doc/org.slf4j/slf4j-api/2.0.18/"
         links += "https://www.javadoc.io/doc/org.antlr/antlr4-runtime/4.13.2/"
-        links +="https://www.javadoc.io/doc/ch.qos.logback/logback-classic/1.5.32/"
+        links +="https://www.javadoc.io/doc/ch.qos.logback/logback-classic/1.5.34/"
         links +="https://www.javadoc.io/doc/com.formdev/flatlaf/3.7/"
         links +="https://www.javadoc.io/doc/com.miglayout/miglayout-swing/11.4.3/"
         links +="https://www.javadoc.io/doc/com.squareup/javapoet/1.13.0/"
@@ -449,7 +449,7 @@ tasks.register('alldoc', Javadoc){
         links +="https://www.javadoc.io/doc/org.antlr/ST4/4.3.4/"
         links +="https://www.javadoc.io/doc/org.antlr/antlr4-runtime/4.13.2/"
         links +="https://www.javadoc.io/doc/org.jspecify/jspecify/1.0.0/"
-        links +="https://www.javadoc.io/doc/org.slf4j/slf4j-api/2.0.17/"
+        links +="https://www.javadoc.io/doc/org.slf4j/slf4j-api/2.0.18/"
 
         linkSource()
         author()

gradle/wrapper/gradle-wrapper.jar

@@ -1,7 +1,9 @@
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-9.5.0-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-9.5.1-bin.zip
 networkTimeout=10000
+retries=0
+retryBackOffMs=500
 validateDistributionUrl=true
 zipStoreBase=GRADLE_USER_HOME
 zipStorePath=wrapper/dists

gradle/wrapper/gradle-wrapper.properties

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

gradlew

@@ -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.3'
+    testImplementation 'com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.4'
 
     // test fixtures
     testFixturesApi(testFixtures(project(":key.util")))

gradlew.bat

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

key.core.example/build.gradle

@@ -10,17 +10,17 @@ dependencies {
     // we also export these dependency into src/test/java.
     testFixturesApi(project(':key.util'))
 
-    testFixturesApi(platform("org.junit:junit-bom:6.0.3"))
+    testFixturesApi(platform("org.junit:junit-bom:6.1.0"))
     testFixturesApi("org.junit.jupiter:junit-jupiter-api")
     testFixturesApi("org.junit.jupiter:junit-jupiter-params")
     testFixturesApi("org.assertj:assertj-core:3.27.7")
     testFixturesApi("org.jspecify:jspecify:1.0.0")
 
-    testFixturesApi("ch.qos.logback:logback-classic:1.5.32")
+    testFixturesApi("ch.qos.logback:logback-classic:1.5.34")
 
     // test fixtures
-    testFixturesApi("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.3")
-    testFixturesApi("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.21.3")
+    testFixturesApi("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.21.4")
+    testFixturesApi("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.22.0")
 
     def eisop_version = "3.49.5-eisop1"
     testFixturesCompileOnly( "io.github.eisop:checker-qual:$eisop_version")

key.core/build.gradle

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