lib/Tools/build

--- a/lib/Tools/build	Thu Mar 10 12:11:50 2016 +0100
+++ b/lib/Tools/build	Thu Mar 10 17:30:04 2016 +0100
@@ -169,7 +169,7 @@
 
 . "$ISABELLE_HOME/lib/scripts/timestart.bash"
 
-"$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build \
+isabelle java "${JAVA_ARGS[@]}" isabelle.Build \
   "$REQUIREMENTS" "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \
   "$LIST_FILES" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
   "${INCLUDE_DIRS[@]}" $'\n' "${SELECT_DIRS[@]}" $'\n' \