Bump the gradle-deps group with 6 updates

Bumps the gradle-deps group with 6 updates:

| Package | From | To |
| --- | --- | --- |
| [org.jspecify:jspecify](https://github.com/jspecify/jspecify) | `0.3.0` | `1.0.0` |
| [io.github.eisop:checker-qual](https://github.com/eisop/checker-framework) | `3.42.0-eisop3` | `3.42.0-eisop4` |
| [io.github.eisop:checker-util](https://github.com/eisop/checker-framework) | `3.42.0-eisop3` | `3.42.0-eisop4` |
| [io.github.eisop:checker](https://github.com/eisop/checker-framework) | `3.42.0-eisop3` | `3.42.0-eisop4` |
| org.checkerframework | `0.6.41` | `0.6.43` |
| [com.miglayout:miglayout-swing](https://github.com/mikaelgrev/miglayout) | `11.3` | `11.4` |


Updates `org.jspecify:jspecify` from 0.3.0 to 1.0.0
- [Release notes](https://github.com/jspecify/jspecify/releases)
- [Commits](jspecify/jspecify@v0.3.0...v1.0.0)

Updates `io.github.eisop:checker-qual` from 3.42.0-eisop3 to 3.42.0-eisop4
- [Release notes](https://github.com/eisop/checker-framework/releases)
- [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md)
- [Commits](eisop/checker-framework@checker-framework-3.42.0-eisop3...checker-framework-3.42.0-eisop4)

Updates `io.github.eisop:checker-util` from 3.42.0-eisop3 to 3.42.0-eisop4
- [Release notes](https://github.com/eisop/checker-framework/releases)
- [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md)
- [Commits](eisop/checker-framework@checker-framework-3.42.0-eisop3...checker-framework-3.42.0-eisop4)

Updates `io.github.eisop:checker` from 3.42.0-eisop3 to 3.42.0-eisop4
- [Release notes](https://github.com/eisop/checker-framework/releases)
- [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md)
- [Commits](eisop/checker-framework@checker-framework-3.42.0-eisop3...checker-framework-3.42.0-eisop4)

Updates `io.github.eisop:checker-util` from 3.42.0-eisop3 to 3.42.0-eisop4
- [Release notes](https://github.com/eisop/checker-framework/releases)
- [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md)
- [Commits](eisop/checker-framework@checker-framework-3.42.0-eisop3...checker-framework-3.42.0-eisop4)

Updates `io.github.eisop:checker` from 3.42.0-eisop3 to 3.42.0-eisop4
- [Release notes](https://github.com/eisop/checker-framework/releases)
- [Changelog](https://github.com/eisop/checker-framework/blob/master/docs/CHANGELOG.md)
- [Commits](eisop/checker-framework@checker-framework-3.42.0-eisop3...checker-framework-3.42.0-eisop4)

Updates `org.checkerframework` from 0.6.41 to 0.6.43

Updates `com.miglayout:miglayout-swing` from 11.3 to 11.4
- [Release notes](https://github.com/mikaelgrev/miglayout/releases)
- [Changelog](https://github.com/mikaelgrev/miglayout/blob/master/release.txt)
- [Commits](mikaelgrev/miglayout@v11.3...v11.4)

---
updated-dependencies:
- dependency-name: org.jspecify:jspecify
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: gradle-deps
- dependency-name: io.github.eisop:checker-qual
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: io.github.eisop:checker-util
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: io.github.eisop:checker
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: io.github.eisop:checker-util
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: io.github.eisop:checker
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: org.checkerframework
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: gradle-deps
- dependency-name: com.miglayout:miglayout-swing
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: gradle-deps
...

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

build.gradle

@@ -24,7 +24,7 @@ plugins {
     id "com.diffplug.spotless" version "6.25.0"
 
     // EISOP Checker Framework
-    id "org.checkerframework" version "0.6.41"
+    id "org.checkerframework" version "0.6.43"
 }
 
 // Configure this project for use inside IntelliJ:
@@ -81,9 +81,9 @@ subprojects {
         //compile group: 'org.apache.logging.log4j', name: 'log4j-api', version: '2.12.0'
         //compile group: 'org.apache.logging.log4j', name: 'log4j-core', version: '2.12.0'
 
-        compileOnly("org.jspecify:jspecify:0.3.0")
-        testCompileOnly("org.jspecify:jspecify:0.3.0")
-        def eisop_version = "3.42.0-eisop3"
+        compileOnly("org.jspecify:jspecify:1.0.0")
+        testCompileOnly("org.jspecify:jspecify:1.0.0")
+        def eisop_version = "3.42.0-eisop4"
         compileOnly "io.github.eisop:checker-qual:$eisop_version"
         compileOnly "io.github.eisop:checker-util:$eisop_version"
         testCompileOnly "io.github.eisop:checker-qual:$eisop_version"

key.ncore/build.gradle

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

key.ui/build.gradle

@@ -20,7 +20,7 @@ dependencies {
     implementation project(":key.core.symbolic_execution")
     implementation project(":key.removegenerics")
 
-    api 'com.miglayout:miglayout-swing:11.3'
+    api 'com.miglayout:miglayout-swing:11.4'
 
     //logging implementation used by the slf4j
     implementation 'ch.qos.logback:logback-classic:1.5.6'

key.util/build.gradle

@@ -1,7 +1,7 @@
 description "Utility library of the key-project"
 
 dependencies {
-    implementation("org.jspecify:jspecify:0.3.0")
+    implementation("org.jspecify:jspecify:1.0.0")
 }
 
 checkerFramework {