Update java-models-library submodule

codebyzeb · romainbrenguier · commit 083cb982f48f · 2018-08-06T11:10:02.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
