Added shell function to switch jdk home.