[isabelle-dev] jdk-8u102

[Makarius]

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 understanding of the release plan, the next will be in
Oct-2016, but only a "Critical Patch Update" with very few changes.

The next Isabelle release is likely to happen in Nov/Dec-2016.

So we should keep an eye on fine points of jdk in the next few months --
as usual on all platforms. The October update is unlikely to change
anything significant.


	Makarius