Update java-models-library

peterschrammel · peterschrammel · commit 16ed6e3ec44b · 2020-12-29T18:29:03.000+01:00
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 242aaff32dae81d98bc23479f43640ff03bcd1c6
+Subproject commit 46b39435692c4cf7cd452ab4c2ccaf053e9adcce
