--- a/src/Doc/System/Environment.thy Mon Mar 21 11:40:11 2022 +0100
+++ b/src/Doc/System/Environment.thy Mon Mar 21 11:55:51 2022 +0100
@@ -459,7 +459,7 @@
text \<open>
The subsequent example creates a raw Java process on the command-line and
invokes the main Isabelle application entry point:
- @{verbatim [display] \<open>isabelle_java -Djava.awt.headless=false isabelle.jedit.Main\<close>}
+ @{verbatim [display] \<open>isabelle_java -Djava.awt.headless=false isabelle.jedit.JEdit_Main\<close>}
\<close>