tuned;

--- a/src/Tools/jEdit/lib/Tools/jedit	Sat Jun 18 23:51:22 2011 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sun Jun 19 00:03:44 2011 +0200
@@ -182,9 +182,9 @@
     OUTDATED=true
   else
     if [ -n "$ISABELLE_JEDIT_BUILD_HOME" ]; then
-      declare -a DEPS=("${SOURCES[@]}" "${RESOURCES[@]}" "$PURE_JAR" "$JEDIT_JAR" "${JEDIT_JARS[@]}")
+      declare -a DEPS=("$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR" "${SOURCES[@]}" "${RESOURCES[@]}")
     else
-      declare -a DEPS=("${SOURCES[@]}" "${RESOURCES[@]}" "$PURE_JAR")
+      declare -a DEPS=("$PURE_JAR" "${SOURCES[@]}" "${RESOURCES[@]}")
     fi
     for DEP in "${DEPS[@]}"
     do