Try upgrading to jdk 17

Author: Heliozoa

.github/workflows/test.yml

@@ -57,7 +57,7 @@ jobs:
         uses: actions/setup-java@v3
         with:
           distribution: "temurin"
-          java-version: "11"
+          java-version: "17"
 
       - name: Install Node
         uses: actions/setup-node@v3

CONTRIBUTING.md

@@ -18,7 +18,7 @@ Install [Node.js and npm](https://docs.npmjs.com/downloading-and-installing-node
 
 Install [Python 3](https://www.python.org/downloads/). You may wish to use [pyenv](https://github.com/pyenv/pyenv/) to manage different Python versions conveniently.
 
-Install [OpenJDK 11](https://openjdk.java.net/install/index.html) (other versions may work as well) and [ant](https://ant.apache.org/).
+Install [OpenJDK 17](https://openjdk.java.net/install/index.html) (other versions may work as well) and [ant](https://ant.apache.org/).
 
 Install [.NET 6.0](https://dotnet.microsoft.com/download).
 

docker/Dockerfile

@@ -14,7 +14,7 @@ RUN apt update \
         # languages
         npm \
         python3 \
-        openjdk-11-jdk ant maven \
+        openjdk-17-jdk ant maven \
         dotnet-sdk-6.0 \
         check valgrind \
         r-base r-cran-devtools locales \