Bash/bashrc: add default setting for JAVA_HOME