Index: trunk/.github/workflows/ant.yml
===================================================================
--- trunk/.github/workflows/ant.yml	(revision 17244)
+++ trunk/.github/workflows/ant.yml	(revision 17254)
@@ -31,5 +31,5 @@
           - java: 11
             os: macos-latest
-          - java: 16-ea
+          - java: 15
             os: macos-latest
           - headless: "false"
@@ -104,5 +104,5 @@
           APPLE_ID_PW: ${{ secrets.APPLE_ID_PW }}
         run: |
-          $ANT_HOME/bin/ant dist
+          $ANT_HOME/bin/ant -DnoErrorProne dist
           ./native/macosx/macos-jpackage.sh ${{ env.josm_revision }}
       - name: Create macOS release