# HG changeset patch
# User wenzelm
# Date 1609869065 -3600
# Node ID f0180048d5ff874e8b44aeff97954c8925cdb934
# Parent  0b0c651e823f745df3268b811da60371f4ef7d0a
updated according to ~~/etc/settings;
tuned;

diff -r 0b0c651e823f -r f0180048d5ff src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Jan 05 18:27:43 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Jan 05 18:51:05 2021 +0100
@@ -260,20 +260,21 @@
 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)/../.."; pwd)"
 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
 
+#paranoia settings -- avoid intrusion of alien options
+unset "_JAVA_OPTIONS"
+unset "JAVA_TOOL_OPTIONS"
+
+#paranoia settings -- avoid problems of Java/Swing versus XIM/IBus etc.
+unset XMODIFIERS
+
 COMPONENT="$ISABELLE_HOME/contrib/""" + jdk_component + """"
 source "$COMPONENT/etc/settings"
 
 
-# Java runtime options
+# main
 
 declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/Isabelle.options"))
 
-
-# main
-
-#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
-unset XMODIFIERS
-
 exec "$ISABELLE_JDK_HOME/bin/java" \
   "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
   -classpath """" + classpath.map(p => "$ISABELLE_HOME/" + p.implode).mkString(":") + """" \