Update jbmc/lib/java-models-library for PR16 (getChars) and add Tests

romainbrenguier · romainbrenguier · commit b86494d30a3a · 2018-11-25T19:57:09.000Z
diffblue/java-models-library#16
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 766ac7a2c87dadfc7286ea0aab0a6eabdf3e4cdc
+Subproject commit f97622e01393c1a148deda08eb36c452eca88deb
