Resolvido. Essa pergunta é tem a resposta - a resposta de Ákos (mas o crédito pertence a @viktor-lexington se alguém quiser que alguém lhe agradeça). O processo que segui é:
$ sudo rm /usr/bin/java
$ sudo ln -s /Library/Internet\ Plug-Ins/JavaAppletPlugin.plugin/Contents/Home/bin/java /usr/bin
.. para substituir um symlink incorreto. Agora java -version
relata a versão 1.7 e o processo funciona.