bashrc: add JDK into PATH