With Isabelle/ae7c11573922 we are on jdk-8u112, which is the current scheduled release by Oracle, see also http://www.oracle.com/technetwork/java/javase/8u112-relnotes-3124973.html
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
