With Isabelle/300beacd9875 we are on jdk-8u131, which was released by Oracle some weeks ago. This is a minor update; see also:
http://www.oracle.com/technetwork/java/javase/8u131-relnotes-3565278.html http://www.oracle.com/technetwork/java/javase/2col/8u131-bugfixes-3565760.html Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev