bug#51693: [patch] Add Java 17

[Ricardo Wurmus]

I split it up into a commit fixing openjdk 16 and one adding openjdk 17;
I removed a duplicate phase from openjdk 17 and let it inherit the phases from 
openjdk 16.

I’ve applied the patches to the “master” branch.

Thanks!

-- 
Ricardo