From 1f3aa443cccc329cc9286cdb958296a8b890a035 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Bispo?= <jbispo@fe.up.pt>
Date: Sat, 10 Feb 2024 20:10:49 +0000
Subject: [PATCH] Changes Java version to 17

---
 .github/workflows/ant-main.yml    | 4 ++--
 .github/workflows/ant-staging.yml | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ant-main.yml b/.github/workflows/ant-main.yml
index 22598c620..be517fdba 100644
--- a/.github/workflows/ant-main.yml
+++ b/.github/workflows/ant-main.yml
@@ -34,10 +34,10 @@ jobs:
           path: ~/.ivy2
           key: ${{ runner.os }}-build-${{ env.cache-name }}        
     
-    - name: Set up JDK 11
+    - name: Set up JDK 17
       uses: actions/setup-java@v3
       with:
-        java-version: '11'
+        java-version: '17'
         distribution: 'temurin'
 
     - name: Generate build.xml
diff --git a/.github/workflows/ant-staging.yml b/.github/workflows/ant-staging.yml
index 9bf80d5c0..30cae2558 100644
--- a/.github/workflows/ant-staging.yml
+++ b/.github/workflows/ant-staging.yml
@@ -34,10 +34,10 @@ jobs:
           path: ~/.ivy2
           key: ${{ runner.os }}-build-${{ env.cache-name }}        
     
-    - name: Set up JDK 11
+    - name: Set up JDK 17
       uses: actions/setup-java@v3
       with:
-        java-version: '11'
+        java-version: '17'
         distribution: 'temurin'
 
     - name: Generate build.xml