Update java-models-lib to latest develop

smowton · smowton · commit aedc3203821a · 2020-02-10T14:50:30.000Z
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit ee97592c10bb6d8c8c65472e547e9d1e41fa9b8d
+Subproject commit d8e8b4203cd1b4ee8f77c6ab99b1d52a7cfc8fd6
