As of Isabelle/98afae4308f5 we are on current jdk-8u144. The update is relatively unexciting; in fact I have skipped an earlier one. See also:
http://www.oracle.com/technetwork/java/javase/2col/8u141-bugfixes-3720387.html http://www.oracle.com/technetwork/java/javase/2col/8u144-bugfixes-3839149.html Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
