Bump actions/setup-java from 3.12.0 to 3.13.0

Bumps [actions/setup-java](https://github.com/actions/setup-java) from 3.12.0 to 3.13.0.
- [Release notes](https://github.com/actions/setup-java/releases)
- [Commits](actions/setup-java@v3.12.0...v3.13.0)

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

Signed-off-by: dependabot[bot] <[email protected]>

.github/workflows/integration.yml

@@ -27,7 +27,7 @@ jobs:
       uses: ts-graphviz/setup-graphviz@v1
 
     - name: Set up Java and Maven
-      uses: actions/setup-java@v3.12.0
+      uses: actions/setup-java@v3.13.0
       with:
         cache: maven
         distribution: ${{ matrix.distribution }}

.github/workflows/main.yml

@@ -47,7 +47,7 @@ jobs:
 
     - name: Set up Java and Maven
       if: runner.os == 'Linux'
-      uses: actions/setup-java@v3.12.0
+      uses: actions/setup-java@v3.13.0
       with:
         cache: maven
         distribution: ${{ matrix.distribution }}

.github/workflows/release.yml

@@ -98,7 +98,7 @@ jobs:
       uses: ts-graphviz/setup-graphviz@v1
 
     - name: Set up Java and Maven
-      uses: actions/setup-java@v3.12.0
+      uses: actions/setup-java@v3.13.0
       with:
         cache: maven
         distribution: ${{ matrix.distribution }}