Merge pull request #6350 from NlightNFotis/update_submodule

NlightNFotis · web-flow · commit c67c3408451b · 2021-09-20T16:14:00.000+01:00
Move commit pointer of submodule Java Models Library.
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 198d541d3d33383f4c25f6cbd639bbe0d7b726ba
+Subproject commit 012cdc25d95ef13ea99123683d0db9044254388d
