java: JAVA_HOME set to Java 7 JDK for work profile