Clarify which JAVA_HOME is used by configure

diff --git a/configure b/configure
index 5f28c8acd71683bdd547d43e880e847c5b61fbad..5d3e45ed8031809c5a2f00bbb68edd3b5a1aeb26 100755 (executable)
--- a/configure
+++ b/configure
@@ -16,8 +16,8 @@ else
 
 if [ -z "$JAVA_HOME" ]
 then
-JAVA_HOME=$(dirname $(dirname $(readlink -f $(which javac))))
-echo "Environment variable JAVA_HOME not set, using $JAVA_HOME"
+JAVA_HOME=$(dirname $(dirname $(readlink -f $(which java))))
+echo "Environment variable JAVA_HOME not set, using $JAVA_HOME of $(which java)"
 fi
 
 # Create build directory, so that it can be used right away