--- setenv.sh.orig	2013-07-30 20:09:05.478278831 +1200
+++ setenv.sh	2013-07-30 20:09:59.274654058 +1200
@@ -1,7 +1,7 @@
-JAVA_HOME=
+JAVA_HOME="$JAVA_HOME"
 
 if [ -z "$JAVA_HOME" ]; then
   echo "The JAVA_HOME environment variable is not defined"
   echo "This environment variable is needed to run this program"
   exit 1
-fi
\ No newline at end of file
+fi