This is just a totally arbitrary snapshot in the middle of the release cycle: http://www4.in.tum.de/~wenzelm/test/Isabelle_01-Jun-2016 It might help to check if Java 8u92 works on all platforms. Makarius