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

Author: wadoon

build.gradle

@@ -21,12 +21,12 @@ plugins {
     // id "com.github.ben-manes.versions" version "0.39.0"
 
     // Code formatting
-    id "com.diffplug.spotless" version "7.0.3"
+    id "com.diffplug.spotless" version "7.0.4"
 
     // EISOP Checker Framework
     id "org.checkerframework" version "0.6.53"
 
-    id("org.sonarqube") version "6.1.0.5360"
+    id("org.sonarqube") version "6.2.0.5505"
 }
 
 sonar {

key.ncore.calculus/build.gradle

@@ -10,7 +10,7 @@ repositories {
 dependencies {
     api project(':key.util')
     api project(':key.ncore')
-    implementation 'org.jspecify:jspecify:0.3.0'
+    implementation 'org.jspecify:jspecify:1.0.0'
 }
 
 tasks.withType(Test) {

key.removegenerics/build.gradle

@@ -1,6 +1,6 @@
 plugins {
     id 'application'
-    id 'com.gradleup.shadow' version "8.3.5"
+    id 'com.gradleup.shadow' version "8.3.6"
 }
 
 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.5"
+    id 'com.gradleup.shadow' version "8.3.6"
 }
 
 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 "8.3.5"
+    id 'com.gradleup.shadow' version "8.3.6"
 }
 
 description = "Management of larger verification with KeY."