Update java-models-library submodule

codebyzeb · codebyzeb · commit 759e25cc118e · 2018-07-20T16:24:29.000+01:00
Includes a pointer update to the definition change in the
java-models-library submodule.
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 6b422b12109701901913742063fce89f62e2ea96
+Subproject commit ce5964935cc43313dbe6e4538892274d04d5569d
