Update make-tests.yml: newer package versions to remove warnings.

NB: No longer test against Java 9 (our current minimum).
Java 11 is the minimum (LTS) version available that we support.

.github/workflows/make-tests.yml

@@ -11,16 +11,17 @@ jobs:
 
     strategy:
       matrix:
-        java: [9, 11, 21]
+        java: [11, 21]
         os: [ubuntu-latest, macos-latest]
     runs-on: ${{ matrix.os }}
 
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v4
     - name: Set up JDK
-      uses: actions/setup-java@v1
+      uses: actions/setup-java@v4
       with:
         java-version: ${{ matrix.java }}
+        distribution: temurin
     - name: make tests
       working-directory: ./prism
       run: |
@@ -37,11 +38,12 @@ jobs:
 
     steps:
     - run: git config --global core.autocrlf input
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v4
     - name: Set up JDK
-      uses: actions/setup-java@v1
+      uses: actions/setup-java@v4
       with:
         java-version: ${{ matrix.java }}
+        distribution: temurin
     - name: Install Cygwin Dependencies
       uses: cygwin/cygwin-install-action@v4
       with: