From c457e6dfd44e708afd34cdc5032b3f8e06a1afee Mon Sep 17 00:00:00 2001
From: Stefan Bodewig <bodewig@apache.org>
Date: Thu, 13 Jun 2019 12:01:23 +0200
Subject: [PATCH] improve error message if Java cannot be found

---
 src/script/ant | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/script/ant b/src/script/ant
index a15026b9b..20951f4bc 100644
--- a/src/script/ant
+++ b/src/script/ant
@@ -193,8 +193,10 @@ if [ -z "$JAVACMD" ]; then
 fi
 
 if [ ! -x "$JAVACMD" ]; then
-  echo "Error: JAVA_HOME is not defined correctly."
-  echo "  We cannot execute $JAVACMD"
+  echo "We cannot run Java, please ensure you have Java installed."
+  echo "  We have tried to execute $JAVACMD but failed."
+  echo "If you have installed Java in a unusual place you can set JAVA_HOME"
+  echo "to the directory containing the Java installation."
   exit 1
 fi