Bump org.key-project:key.util from 2.12.0 to 2.12.1

Bumps [org.key-project:key.util](https://github.com/keyproject/key) from 2.12.0 to 2.12.1.
- [Release notes](https://github.com/keyproject/key/releases)
- [Commits](KeYProject/key@KeY-2.12.0...KEY-2.12.1)

---
updated-dependencies:
- dependency-name: org.key-project:key.util
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

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

citool/build.gradle.kts

@@ -12,7 +12,7 @@ version = "1.4.0"
 
 dependencies {
     implementation("org.key-project:key.core:2.12.0")
-    implementation("org.key-project:key.util:2.12.0")
+    implementation("org.key-project:key.util:2.12.1")
 
     val plugin by configurations
     plugin("org.slf4j:slf4j-simple:2.0.9")

ide/build.gradle.kts

@@ -8,7 +8,7 @@ plugins {
 
 dependencies {
     implementation("org.key-project:key.core:2.12.0")
-    implementation("org.key-project:key.util:2.12.0")
+    implementation("org.key-project:key.util:2.12.1")
     implementation("com.miglayout:miglayout-javafx:11.1")
     implementation("org.fxmisc.richtext:richtextfx:0.11.1")
     implementation("org.kordamp.ikonli:ikonli-antdesignicons-pack:12.3.1")

interactionlog/build.gradle.kts

@@ -14,7 +14,7 @@ tasks.getByName<com.github.jengelman.gradle.plugins.shadow.tasks.ShadowJar>("sha
 
 dependencies {
     implementation("org.key-project:key.core:2.12.0")
-    implementation("org.key-project:key.util:2.12.0")
+    implementation("org.key-project:key.util:2.12.1")
     implementation("org.key-project:key.ui:2.12.0")
     implementation("org.slf4j:slf4j-api:2.0.9")
 

miniweb/build.gradle.kts

@@ -13,7 +13,7 @@ dependencies {
     implementation("org.slf4j:slf4j-simple:2.0.9")
 
     implementation("org.key-project:key.core:2.12.0")
-    implementation("org.key-project:key.util:2.12.0")
+    implementation("org.key-project:key.util:2.12.1")
 }
 
 repositories {

tadoc/build.gradle.kts

@@ -9,7 +9,7 @@ application {
 
 dependencies {
     implementation("org.key-project:key.core:2.12.0")
-    implementation("org.key-project:key.util:2.12.0")
+    implementation("org.key-project:key.util:2.12.1")
 
     implementation("org.jetbrains.kotlinx:kotlinx-html-jvm:0.10.1")
     implementation("com.atlassian.commonmark:commonmark:0.17.0")