makarius at sketis.net
Sat Oct 13 11:37:24 CEST 2018
On 06/10/18 22:51, Makarius wrote:
> Oracle has released Java 11 last week: it is the new long-term-support
> (LTS) version for the next 3 years. Public support for Java 8 will stop
> in Jan-2019.
> As of Isabelle/9dabb405a3ba we are on that version by default.
> Here are some pending problems:
> * Apple Desktop integration does not work:
> This also means that COMMAND-Q switches the light off with a hammer:
> unsaved buffers are not stored.
> * WARNING: Illegal reflective access by isabelle.Main$
> (file:/home/makarius/isabelle/repos/lib/classes/Pure.jar) to field
> This was my own unofficial way to implement putenv until Java 8. It
> still happens to work, but I need to find a proper way.
Here is another problem, which has been there for OpenJDK all the time,
but I did not notice on my fancy UHD display:
* Degraded quality font-rendering on Linux.
So with Isabelle/42504382f75b we are back to jdk-8u181, until Oracle
finishes its job or we find some workarounds.
More information about the isabelle-dev