With Isabelle/e506baad44fa we are on jdk-8u102, which is a recent update by Oracle with a lot of changes.
See also http://www.oracle.com/technetwork/java/javase/8u102-relnotes-3021767.html http://www.oracle.com/technetwork/java/javase/2col/8u102-bugfixes-3021768.html Occording to my understanding of the release plan, the next will be in Oct-2016, but only a "Critical Patch Update" with very few changes. The next Isabelle release is likely to happen in Nov/Dec-2016. So we should keep an eye on fine points of jdk in the next few months -- as usual on all platforms. The October update is unlikely to change anything significant. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev