--- a/src/Doc/JEdit/JEdit.thy Sun May 19 18:10:45 2019 +0200
+++ b/src/Doc/JEdit/JEdit.thy Sun May 19 19:05:24 2019 +0200
@@ -2152,7 +2152,7 @@
(by Oracle) on low-quality displays.
\<^bold>\<open>Workaround:\<close> Find an old copy of Java 8 from Oracle (which has
- ``end-of-live'' status since Jan-2019) and refer to its main directory via
+ ``end-of-life'' status since Jan-2019) and refer to its main directory via
@{setting "ISABELLE_JDK_HOME"}\<^verbatim>\<open>="..."\<close> in
\<^path>\<open>$ISABELLE_HOME_USER/etc/settings\<close>. Also add
\<^verbatim>\<open>isabelle_fonts_hinted=false\<close> to