# HG changeset patch
# User wenzelm
# Date 1379012005 -7200
# Node ID 1f381570343654f2e29aaf25f515bab71c68982f
# Parent  b78eccad3939763792c7aed19e161a8b0dafe99a
absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick);

diff -r b78eccad3939 -r 1f3815703436 lib/Tools/java
--- a/lib/Tools/java	Thu Sep 12 18:53:51 2013 +0200
+++ b/lib/Tools/java	Thu Sep 12 20:53:25 2013 +0200
@@ -6,6 +6,9 @@
 
 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
 
+[ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
+unset CLASSPATH
+
 isabelle_jdk java "${JAVA_ARGS[@]}" \
   -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"