Update java-models-library to diffblue/java-models-library#27

danpoe · danpoe · commit 21ee1e848d5d · 2019-08-30T10:45:06.000+01:00
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit e70f08089f5a6d245e98441f05cd08b4c7d30a99
+Subproject commit 10e906cdcb05369f0cec68a5036a5a07b97bc595
