src/Pure/Admin/build_release.scala

 
 # main
 
 declare -a JAVA_OPTIONS=($(grep -v '^#' "$ISABELLE_HOME/Isabelle.options"))
 
-"$ISABELLE_HOME/bin/isabelle" env "$ISABELLE_HOME/lib/scripts/java-gui-setup"
+eval $(isabelle java isabelle.setup.Setup gui_setup)
 
 exec "$ISABELLE_JDK_HOME/bin/java" \
   "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
   -classpath """" + classpath.map(p => "$ISABELLE_HOME/" + p.implode).mkString(":") + """" \
   "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \

 
         Components.clean_base(contrib_dir, platforms = List(platform))
 
         platform match {
           case Platform.Family.linux_arm | Platform.Family.linux =>
-            File.change(isabelle_target + jedit_options) {
-              _.replaceAll("jedit_reset_font_size : int =.*", "jedit_reset_font_size : int = 24")
-            }
-
-            File.change(isabelle_target + jedit_props) {
-              _.replaceAll("console.fontsize=.*", "console.fontsize=18")
-               .replaceAll("helpviewer.fontsize=.*", "helpviewer.fontsize=18")
-               .replaceAll("metal.primary.fontsize=.*", "metal.primary.fontsize=18")
-               .replaceAll("metal.secondary.fontsize=.*", "metal.secondary.fontsize=18")
-               .replaceAll("view.fontsize=.*", "view.fontsize=24")
-               .replaceAll("view.gutter.fontsize=.*", "view.gutter.fontsize=16")
-            }
-
             make_isabelle_options(
               isabelle_target + Path.explode("Isabelle.options"), java_options)
 
             make_isabelle_app(platform, isabelle_target, isabelle_name, jdk_component, classpath)