Command to set JAVA_HOME in /etc/profile