Add use_java Bash function for switching JAVA_HOME