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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
