Java stuff for zsh