chore(deps): bump actions/setup-java from 3 to 4 in /.github/workflows (#618)

Bumps [actions/setup-java](https://github.com/actions/setup-java) from 3 to 4.

Author: dependabot[bot]

.github/workflows/ci_examples_java.yml

@@ -51,7 +51,7 @@ jobs:
           submodules: recursive        
 
       - name: Setup Java ${{ matrix.java-version }}
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           distribution: 'corretto'
           java-version: ${{ matrix.java-version }}

.github/workflows/ci_test_java.yml

@@ -59,7 +59,7 @@ jobs:
           dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }}
 
       - name: Setup Java ${{ matrix.java-version }}
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           distribution: 'corretto'
           java-version: ${{ matrix.java-version }}

.github/workflows/ci_test_vector_java.yml

@@ -44,7 +44,7 @@ jobs:
           dafny-version: '4.2.0'
 
       - name: Setup Java ${{ matrix.java-version }}
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           distribution: 'corretto'
           java-version: ${{ matrix.java-version }}