remove junk (amending 0811cfce1f5b);

--- a/src/Doc/JEdit/JEdit.thy	Sun Mar 23 15:12:20 2025 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Sun Mar 23 17:07:55 2025 +0100
@@ -239,7 +239,7 @@
     -f           fresh build
     -i NAME      include session in name-space of theories
     -j OPTION    add jEdit runtime option
-                 (default -reuseview -nobackground -nosplash -log=9)
+                 (default $JEDIT_OPTIONS)
     -l NAME      logic session name
     -m MODE      add print mode for output
     -n           no build of session image on startup