Bump java-models-library sub module pointer

thomasspriggs · thomasspriggs · commit 4783cb8dab71 · 2022-10-18T18:49:47.000+01:00
In order to confirm correct functioning with updated models library
github action.
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 012cdc25d95ef13ea99123683d0db9044254388d
+Subproject commit c7835345cf635279cf59f4a286c05538f8026bd8
