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

romainbrenguier · romainbrenguier · commit 3135f63d4d20 · 2018-10-02T07:58:28.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 c9d9226d34649c21f30bb99f92e0a3d6e5fb8977
+Subproject commit 598f37f9e8ee26d8fd208baa5dd6e784a7b6891a
