sourceCompatibility
targetCompatibility
We have defined `release` one way or another, and on JDK 17 that should suffice.