Update Gitpod configuration with Java 17

[jeanphi-baconnais]

Fix #36654

[quarkus-bot]

Thanks for your pull request!

The title of your pull request does not follow our editorial rules. Could you have a look?

• title should preferably start with an uppercase character (if it makes sense!)

_{This message is automatically generated by a bot.}

[gsmet]

Thanks! LGTM, I rebased to avoid the merge commit.

Will merge right away given no CI is needed.