File gjdoc-0.7.8-gjdoc.sh.in.patch of Package gjdoc

Index: gjdoc-0.7.8/gjdoc.sh.in
===================================================================
--- gjdoc-0.7.8.orig/gjdoc.sh.in
+++ gjdoc-0.7.8/gjdoc.sh.in
@@ -26,7 +26,8 @@ version=@VERSION@
 ANTLR_JAR=@ANTLR_JAR@
 
 if [ -z "${JAVA}" ]; then
-  if [ -n "$JAVA_HOME" ]; then
+  if [ -n "$JAVA_HOME" -a -e "${JAVA_HOME}/bin/java" ]
+  then
     JAVA="${JAVA_HOME}/bin/java"
   elif [ -x "${prefix}/bin/java" ]; then
     JAVA="${prefix}/bin/java"