--- a/Admin/isatest/isatest-settings Mon Apr 23 22:22:57 2012 +0200
+++ b/Admin/isatest/isatest-settings Mon Apr 23 22:26:22 2012 +0200
@@ -7,8 +7,6 @@
# source bashrc, we're called by cron
. ~/.bashrc
-export ISABELLE_JDK_HOME="$JAVA_HOME"
-
# canoncical home for all platforms
HOME=/home/isatest