Update java-models-library for diffblue/java-models-library#20

romainbrenguier · romainbrenguier · commit e7461a276c47 · 2019-04-02T13:50:43.000+01:00
diffblue/java-models-library#20
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit d92026cd8dd8f1e769f5b11831e831fefdc4c080
+Subproject commit 9f561d90996bded66b54a682f332faa0c99bd18c
