On 06/27/2014 09:38 AM, Andrew Dinn wrote: >> 4. Fail if $JAVA_HOME is set > Hmm, I guess this is needed. No, because some build scripts require JAVA_HOME to be set. Andrew.