From 216c57d0f8553a048d8fe7f0e6000efaedfd1dba Mon Sep 17 00:00:00 2001
From: Martin Monperrus <martin.monperrus@gnieh.org>
Date: Mon, 27 May 2024 08:57:03 +0200
Subject: [PATCH] bump gumtree to 4.0.0 (#316)

---
 .github/workflows/ci.yml      | 4 ++--
 .github/workflows/publish.yml | 4 ++--
 pom.xml                       | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4619247..dafed1e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -13,10 +13,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v4
-    - name: Set up JDK 11
+    - name: Set up JDK
       uses: actions/setup-java@v4
       with:
         distribution: 'adopt'
-        java-version: 11
+        java-version: 17
     - name: Run test phase
       run: mvn test
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index a116f3b..cf5fc87 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -20,11 +20,11 @@ jobs:
         running-workflow-name: 'Publish package'
         repo-token: ${{ secrets.GITHUB_TOKEN }}
     - uses: actions/checkout@v4
-    - name: Set up JDK 11
+    - name: Set up JDK
       uses: actions/setup-java@v4
       with:
         distribution: 'adopt'
-        java-version: 11
+        java-version: 17
     - name: Start deployment
       env:
         CI_DEPLOY_USERNAME: ${{ secrets.CI_DEPLOY_USERNAME }}
diff --git a/pom.xml b/pom.xml
index 6851f69..4835ad7 100644
--- a/pom.xml
+++ b/pom.xml
@@ -41,7 +41,7 @@
     <dependency>
       <groupId>com.github.gumtreediff</groupId>
       <artifactId>core</artifactId>
-      <version>3.0.0</version>
+      <version>4.0.0-beta2</version>
     </dependency>
     <dependency>
       <groupId>com.google.code.gson</groupId>