Test against Java 20 in CI.

[gregturn]

[jxblum]

Downloaded and installed both Oracle JDK 20 as well as Adoptium, Temurin OpenJDK 20 and built and ran tests against Spring Data Redis locally, successfully!