Yet another script to switch JDKs, safely and easily.