Update jbmc/lib/java-models-library to java-models-library#8 (remove sun.* imports)

peterschrammel · peterschrammel · commit a5008534dfd6 · 2018-08-01T16:03:42.000+01:00
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 6b422b12109701901913742063fce89f62e2ea96
+Subproject commit 3104e44957907f5b6796ab8d0c7a32946a54d215
