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](jdereg/json-io@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>

Author: dependabot[bot]

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>