From ed5e6c5f8ced31ea407ef6be9a9b98a807993488 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Thu, 14 Dec 2023 11:24:13 +0100
Subject: [PATCH 1/2] bumped to cdt 11.4.0

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 8ea1bbc1..f37045e3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -164,7 +164,7 @@
         <dependency>
             <groupId>org.rascalmpl</groupId>
             <artifactId>rascal-cdt-repackaged</artifactId>
-            <version>0.2.0</version>
+            <version>11.4.0</version>
             <scope>compile</scope>
         </dependency>
     </dependencies>

From ca7d5dcc2989555c5d0d2fa37617b32973ca247a Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Thu, 14 Dec 2023 11:26:08 +0100
Subject: [PATCH 2/2] bumped to java 17

---
 .github/workflows/build.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 6bdc8fa5..72898a6d 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -16,10 +16,10 @@ jobs:
 
     steps:
       - uses: actions/checkout@v2
-      - name: Set up JDK 11
+      - name: Set up JDK
         uses: actions/setup-java@v1
         with:
-          java-version: 11
+          java-version: 17
 
       - name: Cache Maven packages
         uses: actions/cache@v2