Fix pinpit so that we can upgrade the JDK to the latest version
The current version is 17.0.8.1+1 which uses four version numbers instead of just three and pinpit has a check that makes sure the version number is A.B.C+D and fails for things like A.B.C.D+E.