Upgrade checkout and setup-java GH Actions

Backport of 5efe7c6

These actions are running on Node.js 20, that goes away later this year

https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Signed-off-by: Thomas Segismont <tsegismont@gmail.com>

Author: tsegismont

.github/workflows/ci-4.x.yml

@@ -87,9 +87,9 @@ jobs:
       PROFILE_ARG: ${{ matrix.profile && format('-P {0}', matrix.profile) || '' }}
     steps:
       - name: Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v6
       - name: Install JDK
-        uses: actions/setup-java@v2
+        uses: actions/setup-java@v5
         with:
           java-version: ${{ matrix.jdk }}
           distribution: temurin
@@ -109,9 +109,9 @@ jobs:
       VERTX_NEXUS_PASSWORD: ${{ secrets.VERTX_NEXUS_PASSWORD }}
     steps:
       - name: Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v6
       - name: Install JDK
-        uses: actions/setup-java@v2
+        uses: actions/setup-java@v5
         with:
           java-version: 11
           distribution: temurin