Build on Java 17

.github/workflows/pullrequest.yml

@@ -9,11 +9,11 @@ jobs:
 
     steps:
       - uses: actions/checkout@v2
-      - name: Set up JDK 16
+      - name: Set up JDK 17
         uses: actions/setup-java@v1
         with:
           distribution: 'temurin'
-          java-version: 16
+          java-version: 17
           cache: 'gradle'
       - name: submodules-init
         uses: snickerbockers/submodules-init@v4