Update java-models-library submodule

codebyzeb · romainbrenguier · commit 834fae8f42de · 2018-10-01T09:16:33.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 97aaf65f4467f63073c51d918d84c00d0ad5c02f
