A JDK downloader and updater.

With the growing number of JDK distributions this looks like a useful thing to have.