Printing the version numbers of the available JDK versions as part of
the usage help.