Bring back patch that seems to have been lost from the dev branch

[johnoliver]

possibly hold off till we have an answer to:

https://github.com/AdoptOpenJDK/openjdk-build/issues/840

[karianna]

@johnoliver we've opened up the new mirror over at Adoptium, do you need to re-create this over there?