From c79fbfbbcbdf47ca0705d27a6c083638ef4ffcd2 Mon Sep 17 00:00:00 2001
From: Luca Roffia <lroffia@gmail.com>
Date: Thu, 2 May 2024 15:52:41 +0200
Subject: [PATCH] Move back to Java 11

---
 .github/workflows/maven-publish.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/maven-publish.yml b/.github/workflows/maven-publish.yml
index 9ca5eaff..954e6c8d 100644
--- a/.github/workflows/maven-publish.yml
+++ b/.github/workflows/maven-publish.yml
@@ -17,10 +17,10 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
-    - name: Set up JDK 13
+    - name: Set up JDK 11
       uses: actions/setup-java@v3
       with:
-        java-version: '13'
+        java-version: '11'
         distribution: 'temurin'
         server-id: github # Value of the distributionManagement/repository/id field of the pom.xml
         settings-path: ${{ github.workspace }} # location for the settings.xml file