fixes JAVA_HOME for jdk 7