[isabelle-dev] jdk-7u60

Makarius makarius at sketis.net
Thu Jun 26 23:30:35 CEST 2014

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".


More information about the isabelle-dev mailing list