Release on JDK 17

The release still targets Java 11 compatibility.

This allows depending on the javadoc fix mentioned in 9b4ea86

.github/workflows/release.yml

@@ -19,7 +19,7 @@ jobs:
       - name: Set up JDK
         uses: actions/setup-java@v2.5.0
         with:
-          java-version: 11
+          java-version: 17
           distribution: 'zulu'
           cache: 'maven'
           server-id: ossrh