Expand the Java docs with a method for choosing a different Java version.

....