# HG changeset patch
# User wenzelm
# Date 1271776073 -7200
# Node ID 344377ce2e0a2a3f447e649b36bf4783212f0c43
# Parent  86e62a98deea8ac14bd1a5ce1e78506ec891ecdf
recovered isabelle java, which was broken in ebfa4bb0d50f;

diff -r 86e62a98deea -r 344377ce2e0a lib/Tools/java
--- a/lib/Tools/java	Tue Apr 20 16:14:45 2010 +0200
+++ b/lib/Tools/java	Tue Apr 20 17:07:53 2010 +0200
@@ -5,4 +5,4 @@
 # DESCRIPTION: invoke Java within the Isabelle environment
 
 CLASSPATH="$(jvmpath "$CLASSPATH")"
-exec "${THIS_JAVA:-ISABELLE_JAVA}" "$@"
+exec "${THIS_JAVA:-$ISABELLE_JAVA}" "$@"