diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
index d825533d7fe..766ac7a2c87 160000
--- a/jbmc/lib/java-models-library
+++ b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit d825533d7feaa477dba880abd679805dede9bb4e
+Subproject commit 766ac7a2c87dadfc7286ea0aab0a6eabdf3e4cdc