From ae04af10cc7446f0ad9115b6c263e2bf41a7b09e Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Thu, 16 Jul 2026 11:28:47 +0000
Subject: [PATCH] build(deps): bump com.cedarsoftware:json-io

Bumps [com.cedarsoftware:json-io](https://github.com/jdereg/json-io) from 4.10.1 to 4.14.1.
- [Release notes](https://github.com/jdereg/json-io/releases)
- [Changelog](https://github.com/jdereg/json-io/blob/master/changelog.md)
- [Commits](https://github.com/jdereg/json-io/compare/4.10.1...4.14.1)

---
updated-dependencies:
- dependency-name: com.cedarsoftware:json-io
  dependency-version: 4.14.1
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 .../jbmc/deterministic_assignments_json/generator/pom.xml       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jbmc/regression/jbmc/deterministic_assignments_json/generator/pom.xml b/jbmc/regression/jbmc/deterministic_assignments_json/generator/pom.xml
index 0a8cc0b40f3..6d9e201fa37 100644
--- a/jbmc/regression/jbmc/deterministic_assignments_json/generator/pom.xml
+++ b/jbmc/regression/jbmc/deterministic_assignments_json/generator/pom.xml
@@ -11,7 +11,7 @@
         <dependency>
             <groupId>com.cedarsoftware</groupId>
             <artifactId>json-io</artifactId>
-            <version>4.10.1</version>
+            <version>4.14.1</version>
         </dependency>
     </dependencies>