Update java-models-library for diffblue/java-models-library#19 (getMonitorCount)

romainbrenguier · romainbrenguier · commit 06c99810efdc · 2019-04-01T10:06:58.000+01:00
diffblue/java-models-library#19
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 766ac7a2c87dadfc7286ea0aab0a6eabdf3e4cdc
+Subproject commit 7faaabe0be81f11ac637649dd85c706e9c9d744b
