Add Java 17

The intention is that 17 run but not have to pass.

Author: jeff5

.github/workflows/ant-regrtest.yml

@@ -4,7 +4,7 @@ name: ant regrtest 2.7
 
 on:
   push:
-    branches: [ master ]
+    #branches: [ master, test-java-17-25 ]
   pull_request:
     branches: [ master ]
 
@@ -36,10 +36,34 @@ jobs:
       run: ant -noinput -buildfile build.xml regrtest-ci
 
 
-  ant-regrtest-windows-jdk11:
+#  ant-regrtest-windows-jdk11:
+#
+#    runs-on: windows-latest
+#    timeout-minutes: 60
+#
+#    steps:
+#    - run: echo "Branch ${{ github.ref }} of repository ${{ github.repository }}."
+#
+#    # Some tests require exactly-expected line endings
+#    - run: git config --global core.autocrlf input
+#
+#    - uses: actions/checkout@v4
+#
+#    - name: Set up JDK 11
+#      uses: actions/setup-java@v4
+#      with:
+#        java-version: '11'
+#        distribution: 'temurin'
+#
+#    - name: Regression test with Ant
+#      run: ant -noinput -buildfile build.xml regrtest-ci
+
+
+  ant-regrtest-ubuntu-jdk17:
 
-    runs-on: windows-latest
-    timeout-minutes: 60
+    runs-on: ubuntu-latest
+    timeout-minutes: 40
+    continue-on-error: true
 
     steps:
     - run: echo "Branch ${{ github.ref }} of repository ${{ github.repository }}."
@@ -49,10 +73,10 @@ jobs:
 
     - uses: actions/checkout@v4
 
-    - name: Set up JDK 11
+    - name: Set up JDK 17
       uses: actions/setup-java@v4
       with:
-        java-version: '11'
+        java-version: '17'
         distribution: 'temurin'
 
     - name: Regression test with Ant