Re: [isabelle] Isabelle2016-RC2: jdk-8u72

On Sun, 24 Jan 2016, Makarius wrote:

- update to latest jdk-8u72 from Oracle
- less aggressive JVM GC options for improved stability

A few more notes on this. Oracle has delivered its scheduled Java 8 update on time, and it looks generally quite good. More details are here:

For example, the broken Nimbus scrollbar "thumb" works again (see also Nonetheless, the default look-and-feel on Linux remains Metal, since that can be more easily used with very high resolution displays ("UHD" or "4K" or more).

There is always a hope that other platform specific problems have now disappeared, but it needs proper testing, especially on Mac OS X.

I've also removed overly ambitious JVM GC options: the situation is back to Isabelle2015 in that respect. This might impact system stability, e.g. on Windows.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.