--- a/NEWS Tue Apr 02 13:22:16 2019 +0200
+++ b/NEWS Tue Apr 02 14:12:21 2019 +0200
@@ -78,9 +78,9 @@
storage directory for "isabelle build". Option "-n" is now clearly
separated from option "-s".
-* Update to OpenJDK 11, which is the current long-term support line
-after Java 8. It provides a very different font renderer, with improved
-sub-pixel font rendering.
+* OpenJDK 11 has quite different font rendering, with better glyph
+shapes and improved sub-pixel anti-aliasing. In some situations results
+might be *worse* than Oracle Java 8, though.
*** Document preparation ***
@@ -282,7 +282,7 @@
*** System ***
-* Update to Java 11: the current long-term support version of OpenJDK.
+* Update to OpenJDK 11: the current long-term support version of Java.
* Update to Poly/ML 5.8 allows to use the native x86_64 platform without
the full overhead of 64-bit values everywhere. This special x86_64_32