Update java-models-library submodule

codebyzeb · codebyzeb · commit 2ba1c31f1501 · 2018-07-20T11:34:12.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 ea419c5d9b6ec990eaa7ed81d7bcc2fba0fa3638
