Update java-models-library (Model for String.hashCode)

romainbrenguier · romainbrenguier · commit d701ab0c2fdb · 2019-04-29T08:32:01.000+01:00
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 0e6413deb54cd90aa5578e88cd0ca9d4810d0b0d
+Subproject commit cca6d418ff8b31badb160c77f85fa8c2127cbeeb
