JDK version switcher on Terminal, OS X.