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

romainbrenguier · romainbrenguier · commit 6d8662638a88 · 2018-10-17T18:28:06.000+01:00
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 3163b09a9f43ebe637caf508427b52e41e1993f2
