src/Pure/Admin/build_release.scala

--- a/src/Pure/Admin/build_release.scala	Wed Jan 27 14:31:46 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Jan 27 14:34:14 2021 +0100
@@ -288,7 +288,7 @@
 
 declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/Isabelle.options"))
 
-"$ISABELLE_HOME/lib/scripts/java-gui-setup"
+"$ISABELLE_HOME/bin/isabelle" env "$ISABELLE_HOME/lib/scripts/java-gui-setup"
 
 exec "$ISABELLE_JDK_HOME/bin/java" \
   "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \