diff -r cd266473b81b -r b5783412bfed lib/Tools/update_cartouches
--- a/lib/Tools/update_cartouches	Thu Mar 10 12:11:50 2016 +0100
+++ b/lib/Tools/update_cartouches	Thu Mar 10 17:30:04 2016 +0100
@@ -6,4 +6,4 @@
 
 isabelle_admin_build jars || exit $?
 
-"$ISABELLE_TOOL" java isabelle.Update_Cartouches "$@"
+isabelle java isabelle.Update_Cartouches "$@"