1.1 --- a/src/Pure/build-jars Mon Mar 26 11:15:41 2012 +0200
1.2 +++ b/src/Pure/build-jars Sat Mar 24 20:24:16 2012 +0100
1.3 @@ -186,7 +186,7 @@
1.4 mkdir -p "$(dirname "$CHARSET_SERVICE")"
1.5 echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE"
1.6
1.7 - jar cfe "$(jvmpath "$TARGET")" isabelle.GUI_Setup META-INF isabelle || \
1.8 + "$ISABELLE_JDK_HOME/bin/jar" cfe "$(jvmpath "$TARGET")" isabelle.GUI_Setup META-INF isabelle || \
1.9 fail "Failed to produce $TARGET"
1.10
1.11 cp "$SCALA_HOME/lib/scala-swing.jar" "$SCALA_HOME/lib/scala-library.jar" "$TARGET_DIR/ext"