Bump the gradle-deps group with 9 updates

Bumps the gradle-deps group with 9 updates:

| Package | From | To |
| --- | --- | --- |
| [ch.qos.logback:logback-classic](https://github.com/qos-ch/logback) | `1.5.19` | `1.5.20` |
| [org.junit:junit-bom](https://github.com/junit-team/junit-framework) | `5.14.0` | `5.14.1` |
| [com.fasterxml.jackson.dataformat:jackson-dataformat-yaml](https://github.com/FasterXML/jackson-dataformats-text) | `2.20.0` | `2.20.1` |
| com.fasterxml.jackson.datatype:jackson-datatype-jsr310 | `2.20.0` | `2.20.1` |
| [org.junit.jupiter:junit-jupiter-engine](https://github.com/junit-team/junit-framework) | `5.14.0` | `5.14.1` |
| org.checkerframework | `0.6.59` | `0.6.60` |
| org.sonarqube | `6.3.1.5724` | `7.0.1.6134` |
| [com.formdev:flatlaf](https://github.com/JFormDesigner/FlatLaf) | `3.6.1` | `3.6.2` |
| org.ow2.asm:asm | `9.8` | `9.9` |


Updates `ch.qos.logback:logback-classic` from 1.5.19 to 1.5.20
- [Release notes](https://github.com/qos-ch/logback/releases)
- [Commits](qos-ch/logback@v_1.5.19...v_1.5.20)

Updates `org.junit:junit-bom` from 5.14.0 to 5.14.1
- [Release notes](https://github.com/junit-team/junit-framework/releases)
- [Commits](junit-team/junit-framework@r5.14.0...r5.14.1)

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

Updates `com.fasterxml.jackson.datatype:jackson-datatype-jsr310` from 2.20.0 to 2.20.1

Updates `org.junit.jupiter:junit-jupiter-engine` from 5.14.0 to 5.14.1
- [Release notes](https://github.com/junit-team/junit-framework/releases)
- [Commits](junit-team/junit-framework@r5.14.0...r5.14.1)

Updates `org.checkerframework` from 0.6.59 to 0.6.60

Updates `org.sonarqube` from 6.3.1.5724 to 7.0.1.6134

Updates `com.formdev:flatlaf` from 3.6.1 to 3.6.2
- [Release notes](https://github.com/JFormDesigner/FlatLaf/releases)
- [Changelog](https://github.com/JFormDesigner/FlatLaf/blob/main/CHANGELOG.md)
- [Commits](JFormDesigner/FlatLaf@3.6.1...3.6.2)

Updates `org.ow2.asm:asm` from 9.8 to 9.9

---
updated-dependencies:
- dependency-name: ch.qos.logback:logback-classic
  dependency-version: 1.5.20
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: org.junit:junit-bom
  dependency-version: 5.14.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: com.fasterxml.jackson.dataformat:jackson-dataformat-yaml
  dependency-version: 2.20.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: com.fasterxml.jackson.datatype:jackson-datatype-jsr310
  dependency-version: 2.20.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: org.junit.jupiter:junit-jupiter-engine
  dependency-version: 5.14.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: org.checkerframework
  dependency-version: 0.6.60
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: org.sonarqube
  dependency-version: 7.0.1.6134
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gradle-deps
- dependency-name: com.formdev:flatlaf
  dependency-version: 3.6.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: org.ow2.asm:asm
  dependency-version: '9.9'
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
...

Signed-off-by: dependabot[bot] <[email protected]>

Author: dependabot[bot]

build.gradle

@@ -16,9 +16,9 @@ plugins {
     id "com.diffplug.spotless" version "8.0.0"
 
     // EISOP Checker Framework
-    id "org.checkerframework" version "0.6.59"
+    id "org.checkerframework" version "0.6.60"
 
-    id("org.sonarqube") version "6.3.1.5724"
+    id("org.sonarqube") version "7.0.1.6134"
 }
 
 sonar {
@@ -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.19")
+        testImplementation("ch.qos.logback:logback-classic:1.5.20")
 
 
         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.19")
+        testImplementation("ch.qos.logback:logback-classic:1.5.20")
         testImplementation("org.assertj:assertj-core:3.27.6")
-        testImplementation("ch.qos.logback:logback-classic:1.5.19")
+        testImplementation("ch.qos.logback:logback-classic:1.5.20")
 
-        testImplementation(platform("org.junit:junit-bom:5.14.0"))
+        testImplementation(platform("org.junit:junit-bom:5.14.1"))
         testImplementation ("org.junit.jupiter:junit-jupiter-api")
         testImplementation ("org.junit.jupiter:junit-jupiter-api")
         testImplementation ("org.junit.jupiter:junit-jupiter-params")
@@ -105,10 +105,10 @@ subprojects {
         testImplementation project(':key.util')
 
         // test fixtures
-        testImplementation("com.fasterxml.jackson.dataformat:jackson-dataformat-yaml:2.20.0")
-        testImplementation("com.fasterxml.jackson.datatype:jackson-datatype-jsr310:2.20.0")
+        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.0'
+        testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.14.1'
     }
 
     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.19'
+    implementation 'ch.qos.logback:logback-classic:1.5.20'
 }

key.ui/build.gradle

@@ -17,7 +17,7 @@ dependencies {
     implementation project(":key.core")
     implementation project(":key.core.rifl")
 
-    implementation("com.formdev:flatlaf:3.6.1")
+    implementation("com.formdev:flatlaf:3.6.2")
 
     implementation project(":key.core.proof_references")
     implementation project(":key.core.symbolic_execution")
@@ -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.19'
+    implementation 'ch.qos.logback:logback-classic:1.5.20'
 
     api 'org.key-project:docking-frames-common:1.1.3p1'
     api 'org.key-project:docking-frames-core:1.1.3p1'

recoder/build.gradle

@@ -5,7 +5,7 @@ repositories {
     mavenCentral()
 }
 dependencies {
-    implementation 'org.ow2.asm:asm:9.8'
+    implementation 'org.ow2.asm:asm:9.9'
     implementation 'org.apache-extras.beanshell:bsh:2.0b6'
     implementation 'net.sf.retrotranslator:retrotranslator-runtime:1.2.9'
     implementation 'net.sf.retrotranslator:retrotranslator-transformer:1.2.9'