Bump the gradle-deps group with 5 updates (#3655)

Author: wadoon

build.gradle

@@ -16,9 +16,9 @@ plugins {
     id "com.diffplug.spotless" version "7.2.1"
 
     // EISOP Checker Framework
-    id "org.checkerframework" version "0.6.56"
+    id "org.checkerframework" version "0.6.57"
 
-    id("org.sonarqube") version "6.2.0.5505"
+    id("org.sonarqube") version "6.3.1.5724"
 }
 
 sonar {
@@ -104,8 +104,8 @@ subprojects {
         testImplementation project(':key.util')
 
         // test fixtures
-        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.19.2")
-        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.19.2")
+        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.20.0")
+        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.20.0")
 
         testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.13.4'
     }

key.removegenerics/build.gradle

@@ -1,6 +1,6 @@
 plugins {
     id 'application'
-    id 'com.gradleup.shadow' version "9.0.1"
+    id 'com.gradleup.shadow' version "9.1.0"
 }
 
 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 "9.0.1"
+    id 'com.gradleup.shadow' version "9.1.0"
 }
 
 description = "User interface for the deductive verification of Java programs"

keyext.proofmanagement/build.gradle

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