On 28/07/16 21:31, Makarius wrote: > > So we should keep an eye on fine points of jdk in the next few months -- > as usual on all platforms. Here is an arbitrary Isabelle snapshot with jdk-8u102, which helps to do the testing on all platforms: http://www4.in.tum.de/~wenzelm/test/Isabelle_28-Jul-2016 Makarius