From fa829bdcfe255c5233502a00f68d57361ff9fc87 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Fri, 8 Nov 2024 17:57:01 +0000
Subject: [PATCH] Bump com.cedarsoftware:json-io

Bumps [com.cedarsoftware:json-io](https://github.com/jdereg/json-io) from 4.10.1 to 4.14.1.
- [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-type: direct:production
...

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

diff --git a/jbmc/regression/jbmc/deterministic_assignments_json/pom.xml b/jbmc/regression/jbmc/deterministic_assignments_json/pom.xml
index 376191f2ff7..e5261ebd701 100644
--- a/jbmc/regression/jbmc/deterministic_assignments_json/pom.xml
+++ b/jbmc/regression/jbmc/deterministic_assignments_json/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>