From 8cfc732480203185f7c059ccbbaf47c874f11cf4 Mon Sep 17 00:00:00 2001
From: Alexander Schulz-Rosengarten <als@informatik.uni-kiel.de>
Date: Thu, 17 Oct 2024 16:42:20 +0200
Subject: [PATCH 1/3] build: Upgraded target platform

---
 ....cau.cs.kieler.semantics.targetplatform.target |  6 +++---
 build/pom.xml                                     |  8 ++++----
 .../de.cau.cs.kieler.language.server/pom.xml      | 15 ++++++++++++++-
 oomph/kieler-semantics-developers.setup           | 10 +++++-----
 4 files changed, 26 insertions(+), 13 deletions(-)

diff --git a/build/de.cau.cs.kieler.semantics.targetplatform/de.cau.cs.kieler.semantics.targetplatform.target b/build/de.cau.cs.kieler.semantics.targetplatform/de.cau.cs.kieler.semantics.targetplatform.target
index 1ff95bdf73..fe4c356df8 100644
--- a/build/de.cau.cs.kieler.semantics.targetplatform/de.cau.cs.kieler.semantics.targetplatform.target
+++ b/build/de.cau.cs.kieler.semantics.targetplatform/de.cau.cs.kieler.semantics.targetplatform.target
@@ -10,7 +10,7 @@
       <unit id="org.eclipse.emf.mwe2.launcher.feature.group" version="0.0.0"/>
       <unit id="org.eclipse.epp.mpc.feature.group" version="0.0.0"/>
       <unit id="org.eclipse.equinox.executable.feature.group" version="0.0.0"/>
-      <repository location="https://download.eclipse.org/releases/2024-03"/>
+      <repository location="https://download.eclipse.org/releases/2024-09"/>
     </location>
     <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
       <!-- Required for JUnit4 Tests to be able to run -->
@@ -21,12 +21,12 @@
     <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
       <unit id="com.google.gson" version="0.0.0"/>
       <unit id="org.freemarker.freemarker" version="0.0.0"/>
-      <repository location="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.31.0"/>
+      <repository location="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.32.0"/>
     </location>
     <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
       <unit id="org.eclipse.xtext.sdk.feature.group" version="0.0.0"/>
       <unit id="org.eclipse.xtext.ui.feature.group" version="0.0.0"/>
-      <repository location="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.34.0/"/>
+      <repository location="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.36.0/"/>
     </location>
     <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
       <unit id="de.cau.cs.kieler.klighd.feature.feature.group" version="0.0.0"/>
diff --git a/build/pom.xml b/build/pom.xml
index 955af77a4b..2eb6a9ae67 100644
--- a/build/pom.xml
+++ b/build/pom.xml
@@ -12,15 +12,15 @@
     <!-- Language server dependency versions -->
     <elk-version>0.9.1</elk-version>
     <klighd-version>3.0.2.v20240507</klighd-version>
-    <lsp4j-version>0.22.0</lsp4j-version>
+    <lsp4j-version>0.23.0</lsp4j-version>
     <pragmatics-version>0.51.0.v20240410</pragmatics-version>
 
     <!-- Xtext compile dependency versions -->
-    <xtend-version>2.34.0</xtend-version>
-    <xtext-version>2.34.0</xtext-version>
+    <xtend-version>2.36.0</xtend-version>
+    <xtext-version>2.36.0</xtext-version>
 
     <!-- Tycho -->
-    <tycho-version>2.7.5</tycho-version>
+    <tycho-version>4.0.8</tycho-version>
     <tycho.disableP2Mirrors>true</tycho.disableP2Mirrors>
 
     <!-- Java -->
diff --git a/language-server/de.cau.cs.kieler.language.server/pom.xml b/language-server/de.cau.cs.kieler.language.server/pom.xml
index 1625c873de..729306eaab 100644
--- a/language-server/de.cau.cs.kieler.language.server/pom.xml
+++ b/language-server/de.cau.cs.kieler.language.server/pom.xml
@@ -135,6 +135,19 @@
       <version>${lsp4j-version}</version>
     </dependency>
     
+    
+    <!-- Somehow important -->
+    <dependency>
+      <groupId>org.eclipse.platform</groupId>
+      <artifactId>org.eclipse.core.runtime</artifactId>
+      <version>3.31.100</version>
+    </dependency>
+    <dependency>
+      <groupId>org.eclipse.platform</groupId>
+      <artifactId>org.eclipse.equinox.common</artifactId>
+      <version>3.19.100</version>
+    </dependency>
+    
     <!-- Additional dependencies that the downstream Eclipse bundles do not list as Maven dependencies. -->
     
     <!-- https://mvnrepository.com/artifact/org.freemarker/freemarker -->
@@ -147,7 +160,7 @@
     <dependency>
       <groupId>org.eclipse.jdt</groupId>
       <artifactId>org.eclipse.jdt.core</artifactId>
-      <version>3.30.0</version>
+      <version>3.39.0</version>
     </dependency>
     <!-- https://mvnrepository.com/artifact/jakarta.servlet/jakarta.servlet-api -->
     <!-- <dependency>
diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup
index 557ba6d571..9f15b08a4c 100644
--- a/oomph/kieler-semantics-developers.setup
+++ b/oomph/kieler-semantics-developers.setup
@@ -463,7 +463,7 @@
             versionRange="2.7.0"/>
         <requirement
             name="org.eclipse.xtext.sdk.feature.group"
-            versionRange="[2.34.0,2.35.0)"/>
+            versionRange="[2.36.0,2.37.0)"/>
         <requirement
             name="org.eclipse.emf.mwe2.launcher.feature.group"/>
         <requirement
@@ -519,11 +519,11 @@
         <repositoryList
             name="FixedTarget">
           <repository
-              url="https://download.eclipse.org/releases/2024-03"/>
+              url="https://download.eclipse.org/releases/2024-09"/>
           <repository
-              url="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.31.0"/>
+              url="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.32.0"/>
           <repository
-              url="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.34.0/"/>
+              url="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.36.0/"/>
           <repository
               url="https://download.eclipse.org/elk/updates/releases/0.9.1/"/>
           <repository
@@ -539,7 +539,7 @@
         xsi:type="setup.p2:P2Task">
       <requirement
           name="org.eclipse.xtext.sdk.feature.group"
-          versionRange="[2.34.0,2.35.0)"/>
+          versionRange="[2.36.0,2.37.0)"/>
       <repository
           url="http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/"/>
     </setupTask>

From 02c07952e4243adacf540d3538d15d258afe7085 Mon Sep 17 00:00:00 2001
From: Alexander Schulz-Rosengarten <als@informatik.uni-kiel.de>
Date: Mon, 21 Oct 2024 12:24:57 +0200
Subject: [PATCH 2/3] Downgraded tycho to circumvent bumping java version

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

diff --git a/build/pom.xml b/build/pom.xml
index 2eb6a9ae67..a7c5ec230f 100644
--- a/build/pom.xml
+++ b/build/pom.xml
@@ -20,7 +20,7 @@
     <xtext-version>2.36.0</xtext-version>
 
     <!-- Tycho -->
-    <tycho-version>4.0.8</tycho-version>
+    <tycho-version>2.7.5</tycho-version>
     <tycho.disableP2Mirrors>true</tycho.disableP2Mirrors>
 
     <!-- Java -->

From 6ed1faf8909a7be34513ce02e3f8377a3d651317 Mon Sep 17 00:00:00 2001
From: Alexander Schulz-Rosengarten <als@informatik.uni-kiel.de>
Date: Mon, 21 Oct 2024 16:41:47 +0200
Subject: [PATCH 3/3] Adjusted uber jar script for latest conflict

---
 build/scripts/uberjar.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build/scripts/uberjar.py b/build/scripts/uberjar.py
index 832b1358fa..e1501364a0 100644
--- a/build/scripts/uberjar.py
+++ b/build/scripts/uberjar.py
@@ -73,6 +73,7 @@
     'META-INF/NOTICE',
     'META-INF/p2.inf',
     'META-INF/versions/*/module-info.class',
+    'META-INF/versions/*/OSGI-INF/MANIFEST.MF',
     'OSGI-INF/l10n/bundle.properties',
     'OSGI-INF/repositoryManager.xml',
     'docs/*',