cshrc: update JAVA_HOME