diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
index 198d541d3d3..012cdc25d95 160000
--- a/jbmc/lib/java-models-library
+++ b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 198d541d3d33383f4c25f6cbd639bbe0d7b726ba
+Subproject commit 012cdc25d95ef13ea99123683d0db9044254388d