[Bug 892752] alljava.sh sets JAVA_HOME to wrong jdk