Update java-models-library submodule

codebyzeb · romainbrenguier · commit 7b778a65f944 · 2018-09-20T07:00:26.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 c86885cfd2e8cf98947132de15bcfa3835ae3ebc
+Subproject commit c77e6a152883f03008e8ad2a7270759d89b62488
