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

romainbrenguier · romainbrenguier · commit a7d61f46b757 · 2019-04-01T09:29:07.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 a74c85c37b7f3a7d1ed2045a4b240723e4934ea1
