JAVA_HOME environment for JDK 7