Automate Java 7 installation (set JAVA_HOME in all .profiles)