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

peterschrammel · peterschrammel · commit 1847066e05b4 · 2018-08-01T18:17:31.000+01:00
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 6b422b12109701901913742063fce89f62e2ea96
+Subproject commit c86885cfd2e8cf98947132de15bcfa3835ae3ebc
