diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
index ee97592c10b..d8e8b4203cd 160000
--- a/jbmc/lib/java-models-library
+++ b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit ee97592c10bb6d8c8c65472e547e9d1e41fa9b8d
+Subproject commit d8e8b4203cd1b4ee8f77c6ab99b1d52a7cfc8fd6