zsh: show non-default jdk in prompt