[isabelle-dev] jdk-8u152 (x86_64 only)

[Makarius]

With Isabelle/03a96b8c7c06 we are on recent jdk-8u152, see also
http://www.oracle.com/technetwork/java/javase/8u151-relnotes-3850493.html
and
http://www.oracle.com/technetwork/java/javase/8u152-relnotes-3850503.html

I have taken the opportunity to discontinue x86-linux and x86-windows
platforms. This means that the component and the resulting application
bundle for Linux is much smaller.


	Makarius