bin/isabelle_java

--- a/bin/isabelle_java	Thu Jul 15 16:01:04 2021 +0200
+++ b/bin/isabelle_java	Thu Jul 15 16:35:45 2021 +0200
@@ -18,9 +18,7 @@
 
   eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
 
-  if [ -f "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" ]; then
-    classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"
-  fi
+  isabelle_setup_classpath
 
   [ -n "$CLASSPATH" ] && classpath "$CLASSPATH"