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

romainbrenguier · romainbrenguier · commit 0056df1c8388 · 2019-04-17T16:23:42.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
