zsh: remove (hopefully) obsolete java fix