Update java-models-library submodule

codebyzeb · codebyzeb · commit c333e353b5dc · 2018-07-23T08:47: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
