Eliminate references to 9 and 10

• All 9 and 10 JDKs have been removed and no ports explicitly list either as a desired version, so remove references to simplify the versioning substitutions a little.