Move to Java 17 on CI

Do you mean 9-jdk11 instead of 9-jdk8 for special? Because I think with JDK 8, the tests are all failing, at least they did when I saw them recently.