Update jbmc/lib/java-models-library to java-models-library#9 (String of

romainbrenguier · romainbrenguier · commit 6ff0902a2c9a · 2018-09-05T11:01:42.000+01:00
char array) diffblue/java-models-library#9
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit c86885cfd2e8cf98947132de15bcfa3835ae3ebc
+Subproject commit dda318a1a5140b2e219a31bea9fc51ee881295af
