[isabelle-dev] jdk-7u60

[Makarius]

With f7a604a2fa63 we are back to the latest stable Java 7, and stability 
is particilarly important for the Isabelle2014 release.

The excursion to Java 8 was interesting, but Oracle still has many fine 
points to sort out.  The jEdit guys had some discussions on their 
development mailing list, but I did not follow the details.

I've myself occasionally seen spurious JVM exceptions in jdk-8u5 that were 
not there on jdk-7u40, and jdk-7u60 seems to make some actual improvements 
beyond "critical patch updates".


 	Makarius