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

romainbrenguier · romainbrenguier · commit b57022c6fba7 · 2019-04-02T09:52:23.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 8e1a387780de3df241b24102056562d2691d72e4
