[isabelle-dev] jdk-11

Makarius 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:
> https://sourceforge.net/p/jedit/bugs/4068
>     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
> java.util.Collections$UnmodifiableMap.m
>     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 mailing list