zsh: jdk switching improvements