diff -r cd266473b81b -r b5783412bfed src/HOL/TPTP/CASC/ReadMe
--- a/src/HOL/TPTP/CASC/ReadMe	Thu Mar 10 12:11:50 2016 +0100
+++ b/src/HOL/TPTP/CASC/ReadMe	Thu Mar 10 17:30:04 2016 +0100
@@ -67,7 +67,7 @@
   year, because Isabelle now includes its own version of Java, but the solution
   back then was to replace
 
-  	exec "$ISABELLE_TOOL" java
+  	exec isabelle java
 
   in the last line of the "contrib/kodkodi-1.5.2/bin/kodkodi" script with