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

peterschrammel · peterschrammel · commit 005dae26cb50 · 2018-08-01T15:21:35.000+01:00
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 6b422b12109701901913742063fce89f62e2ea96
+Subproject commit f2e1c56b0ed974ec7d310e1c0f7cc767f870b6bb
