jdk:
  - openjdk17 # Same JDK as github workflow