zsh: add jdk switching function generator