Admin/lib/Tools/makedist_bundle

     done
   )
 }
 
 
-# purge jdk -- keep only jre
-
-function purge_jdk
-{
-  local DIR="contrib/jdk/$1"
-  (
-    cd "$ISABELLE_TARGET"
-    if [ -d "$DIR/jre" ]; then
-      for X in "$DIR"/*
-      do
-        case "$X" in
-          */jre) ;;
-          *)
-            echo "removing $X"
-            rm -rf "$X"
-            ;;
-        esac
-      done
-    else
-      fail "Bad JDK directory: \"$DIR\""
-    fi
-  )
-}
-
-
 # platform-specific setup (inside archive)
 
 case "$PLATFORM_FAMILY" in
   linux)
     purge_target 'contrib -name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"'
-    purge_jdk "x86_64-linux"
 
     (
       init_component "$JEDIT_HOME"
 
       echo "# Java runtime options"

     mv "$ISABELLE_TARGET/contrib/linux_app" "$TMP/."
     cp "$TMP/linux_app/Isabelle" "$ISABELLE_TARGET/$ISABELLE_NAME"
     ;;
   macos)
     purge_target 'contrib -name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"'
-    purge_jdk "x86_64-darwin/Contents/Home"
     mv "$ISABELLE_TARGET/contrib/macos_app" "$TMP/."
 
     perl -pi \
       -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \
       -e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \

       -e "s,plugin-blacklist.MacOSX.jar=true,plugin-blacklist.MacOSX.jar=,g;" \
       "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
     ;;
   windows)
     purge_target 'contrib -name "x86*-linux" -o -name "x86*-darwin" -o -name "x86-cygwin"'
-    purge_jdk "x86_64-windows"
 
     mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/."
 
     perl -pi \
       -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \