[isabelle-dev] NEWS: updated to jdk-8u60, with support for x86_64-windows

[Makarius]

*** System ***

* Java runtime environment for x86_64-windows allows to use larger heap 
space.


This refers e.g. to Isabelle/0b9d8af73270.

I have also changed the app bundling to produce a separate Windows 64bit 
application, e.g. see 
http://www4.in.tum.de/~wenzelm/test/Isabelle_21-Aug-2015 -- only the JDK 
is affected.


jdk-8u60 might be interesting in its own right: Oracle has produced tons 
of changes (hopefully improvements): 
http://www.oracle.com/technetwork/java/javase/2col/8u60-bugfixes-2620228.html


 	Makarius