Update java-models-library submodule

codebyzeb · romainbrenguier · commit 0da7f716c95f · 2018-08-03T10:55:06.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
