Update java-models-library

peterschrammel · peterschrammel · commit 1e24501bb594 · 2020-12-30T19:12:44.000+01:00
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 242aaff32dae81d98bc23479f43640ff03bcd1c6
+Subproject commit 198d541d3d33383f4c25f6cbd639bbe0d7b726ba
