diff --git a/package-demobench.sh b/package-demobench.sh
index 0ece3c3275..18f4c6c1ba 100755
--- a/package-demobench.sh
+++ b/package-demobench.sh
@@ -2,7 +2,7 @@
 
 DIRNAME=$(dirname $0)
 
-if [ -z "$JAVA_HOME" ]; then
+if [ -z "$JAVA_HOME" -o ! -x $JAVA_HOME/bin/java ]; then
     echo "Please set JAVA_HOME correctly"
     exit 1
 fi