Update submodule for diffblue/java-models-library#22 (String.intern)

romainbrenguier · romainbrenguier · commit 426ff72ec853 · 2019-04-30T21:13:21.000+01:00
This contains a model for String.intern diffblue/java-models-library#22
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 0e6413deb54cd90aa5578e88cd0ca9d4810d0b0d
+Subproject commit 14e140fa7c6f72314777ac8bd3b69a2fb8e3246e
