Etcenv

Optionally allow JAVA_HOME to be added in /etc/environment.