Update java-models-library submodule

codebyzeb · romainbrenguier · commit c37762f6739c · 2018-08-01T08:46:31.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 66202de4349bda15ae2d8e16295f124aed3c0914
