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