Fix the documentation build

.github/workflows/website.yml

@@ -15,9 +15,9 @@ jobs:
         with:
           fetch-depth: 0 # fetch all commits and branches for mike to work properly
       - uses: actions/setup-java@v2
-        name: Set up Java 11
+        name: Set up Java 17
         with:
-          java-version: 11
+          java-version: 17
           distribution: temurin
           cache: maven
       - uses: actions/setup-python@v2
@@ -36,4 +36,4 @@ jobs:
       - name: Build local artifacts
         run: mvn -B install -DskipTests
       - name: Render docs and publish
-        run: .github/render-documentation.sh
+        run: .github/render-documentation.sh