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-
With Isabelle/e506baad44fa we are on jdk-8u102, which is a recent update
by Oracle with a lot of changes.
See also
http://www.oracle.com/technetwork/java/javase/8u102-relnotes-3021767.html
http://www.oracle.com/technetwork/java/javase/2col/8u102-bugfixes-3021768.html
Occording to my understandin