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