Update CI to use Debian JDK

Debian is providing OpenJDK 17 (now). Thus, there is no need to resort to some third-party repository in our CI to get a JDK 17 anymore.