A simple tool to change the JAVA version (on the current terminal only).