push.yml: don't test Java 18 or Java 19 (no longer supported)

.github/workflows/push.yml

@@ -70,15 +70,15 @@ jobs:
           name: crash-log
           path: '*.log'
 
-  Java18-Linux:
+  Java17-Linux:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
     runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-java@v3
         with:
           distribution: 'zulu'
-          java-version: 18
+          java-version: 17
       - run: sudo apt-get update
       - run: sudo apt-get install -y g++-multilib
       - run: ./gradlew build --console=plain --no-daemon -Pflavor=Dp -Pgithub=debug64
@@ -88,15 +88,15 @@ jobs:
           name: crash-log
           path: '*.log'
 
-  Java19-Windows:
+  Java17-Windows:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
     runs-on: windows-2022
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-java@v3
         with:
           distribution: 'zulu'
-          java-version: 19
+          java-version: 17
       - run: ./gradlew build --console=plain --no-daemon -Pflavor=Dp -Pgithub=debug64
         shell: bash
       - if: failure()