Oliver Drotbohm da9fcb41f8 Upgrade CI build to JDK 17. ...

Issue: #2068.

2021-11-30 18:56:53 +01:00

..

openjdk17-mongodb-4.4

Tweak CI build to run compatibility builds against JDK 17.

2021-09-21 17:03:12 +02:00