Bump actions/setup-java from 3.11.0 to 3.13.0

Bumps [actions/setup-java](https://github.com/actions/setup-java) from 3.11.0 to 3.13.0.
- [Release notes](https://github.com/actions/setup-java/releases)
- [Commits](actions/setup-java@v3.11.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] <support@github.com>

.github/workflows/on-branch-push-or-pull-request.yml

@@ -9,7 +9,7 @@ jobs:
     steps:
       # ================================================================================================================
       - name: JDK 17 Setup
-        uses: actions/setup-java@v3.11.0
+        uses: actions/setup-java@v3.13.0
         with:
           distribution: 'temurin'
           java-version: '17'

.github/workflows/on-development-push-publish-snapshot-and-website.yml

@@ -18,7 +18,7 @@ jobs:
     steps:
       # ================================================================================================================
       - name: JDK 17 Setup
-        uses: actions/setup-java@v3.11.0
+        uses: actions/setup-java@v3.13.0
         with:
           distribution: 'temurin'
           java-version: '17'

.github/workflows/on-tag-push-create-release.yml

@@ -18,7 +18,7 @@ jobs:
     steps:
       # ================================================================================================================
       - name: JDK 17 Setup
-        uses: actions/setup-java@v3.11.0
+        uses: actions/setup-java@v3.13.0
         with:
           distribution: 'temurin'
           java-version: '17'