Bump actions/setup-java from 3 to 4 (eiffel-community#283)

Bumps [actions/setup-java](https://github.com/actions/setup-java) from 3 to 4.
- [Release notes](https://github.com/actions/setup-java/releases)
- [Commits](actions/setup-java@v3...v4)

---
updated-dependencies:
- dependency-name: actions/setup-java
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

.github/workflows/codeql.yml

@@ -49,7 +49,7 @@ jobs:
       uses: actions/checkout@v4
 
     - name: set up jdk 17
-      uses: actions/setup-java@v3
+      uses: actions/setup-java@v4
       with:
          distribution: 'temurin'
          java-version: '17'

.github/workflows/main.yml

@@ -42,7 +42,7 @@ jobs:
     steps:
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
       - uses: actions/checkout@v4
-      - uses: actions/setup-java@v3
+      - uses: actions/setup-java@v4
         with:
           distribution: 'temurin' 
           java-version: '17'