He instalado Java-8. Ahora quería volver a Java-7 por defecto, así que escribí ...
/usr/libexec/java_home -v 1.7.0_40 --exec java -version
/usr/libexec/java_home -v 1.7.0_40 --exec javac -version
Pero aún veo ...
java -version
java version "1.8.0-ea"
Java(TM) SE Runtime Environment (build 1.8.0-ea-b108)
Java HotSpot(TM) 64-Bit Server VM (build 25.0-b50, mixed mode)
Esto funciona ...
export JAVA_HOME=/Library/Java/JavaVirtualMachines/jdk1.7.0_40.jdk/Contents/Home
Pero me gustaría una solución más permanente.
Alguien ve lo que estoy haciendo mal?