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
https://bugs.openjdk.java.net/browse/JDK-8134828). 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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and