diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fc9f40b0a9..f3f9021d2c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -30,10 +30,10 @@ jobs:
           path: models
 
       # Provide Java
-      - name: Set up JDK 17
+      - name: Set up JDK 21
         uses: actions/setup-java@v4
         with:
-          java-version: '17'
+          java-version: '21'
           distribution: 'temurin'
       
       # Configure maven artifact caching
@@ -238,10 +238,10 @@ jobs:
     steps:
       # Setup
       - uses: actions/checkout@v4
-      - name: Set up JDK 17
+      - name: Set up JDK 21
         uses: actions/setup-java@v4
         with:
-          java-version: '17'
+          java-version: '21'
           distribution: 'adopt'
       
       - name: Cache local Maven repository
@@ -266,10 +266,10 @@ jobs:
     steps:
       # Setup
       - uses: actions/checkout@v4
-      - name: Set up JDK 17
+      - name: Set up JDK 21
         uses: actions/setup-java@v4
         with:
-          java-version: '17'
+          java-version: '21'
           distribution: 'adopt'
       
       - name: Cache local Maven repository
diff --git a/build/de.cau.cs.kieler.semantics.repository/category.xml b/build/de.cau.cs.kieler.semantics.repository/category.xml
index e9bc350894..1e59a34d13 100644
--- a/build/de.cau.cs.kieler.semantics.repository/category.xml
+++ b/build/de.cau.cs.kieler.semantics.repository/category.xml
@@ -36,8 +36,8 @@
   <repository-reference location="https://download.eclipse.org/releases/2023-06" enabled="true"/>
   <repository-reference location="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.31.0" enabled="true"/>
   <repository-reference location="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.34.0/" enabled="true"/>
-  <repository-reference location="https://kieler.github.io/KLighD/v3.0.1/" enabled="true"/>
-  <repository-reference location="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release_pragmatics_2024-04" enabled="true"/>
-  <repository-reference location="https://download.eclipse.org/elk/updates/releases/0.9.1/" enabled="true"/>
+  <repository-reference location="https://kieler.github.io/KLighD/v3.1.0/" enabled="true"/>
+  <repository-reference location="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release_pragmatics_2025-04" enabled="true"/>
+  <repository-reference location="https://download.eclipse.org/elk/updates/releases/0.10.0/" enabled="true"/>
   <repository-reference location="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/websocket-mirror/10.0.20/" enabled="true"/>
 </site>
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 fe4c356df8..382c3032c8 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,9 @@
       <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-09"/>
+      <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/releases/2024-12"/>
     </location>
     <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
       <!-- Required for JUnit4 Tests to be able to run -->
@@ -21,12 +23,7 @@
     <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.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.36.0/"/>
+      <repository location="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.34.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"/>
@@ -36,17 +33,17 @@
       <unit id="de.cau.cs.kieler.klighd.standalone" version="0.0.0"/>
       <unit id="de.cau.cs.kieler.klighd.ui.contrib3x" version="0.0.0"/>
       <unit id="de.cau.cs.kieler.kgraph.text.ui" version="0.0.0"/>
-      <repository location="https://kieler.github.io/KLighD/v3.0.1/"/>
+      <repository location="https://kieler.github.io/KLighD/v3.1.0/"/>
     </location>
     <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
       <unit id="de.cau.cs.kieler.graphs.klighd" version="0.0.0"/>
-      <repository location="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release_pragmatics_2024-04"/>
+      <repository location="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release_pragmatics_2025-04"/>
     </location>
     <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
       <unit id="org.eclipse.elk.graphviz.feature.feature.group" version="0.0.0"/>
       <unit id="org.eclipse.elk.ui.feature.feature.group" version="0.0.0"/>
       <unit id="org.eclipse.elk.sdk.feature.feature.group" version="0.0.0"/>
-      <repository location="https://download.eclipse.org/elk/updates/releases/0.9.1/"/>
+      <repository location="https://download.eclipse.org/elk/updates/releases/0.10.0/"/>
     </location>
     <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="false" type="InstallableUnit">
       <unit id="de.cau.cs.kieler.websocket.mirror" version="0.0.0"/>
diff --git a/build/pom.xml b/build/pom.xml
index a7c5ec230f..d08e5fde32 100644
--- a/build/pom.xml
+++ b/build/pom.xml
@@ -10,23 +10,23 @@
   <!-- Define a few properties used throughout all build profiles. -->
   <properties>
     <!-- Language server dependency versions -->
-    <elk-version>0.9.1</elk-version>
-    <klighd-version>3.0.2.v20240507</klighd-version>
-    <lsp4j-version>0.23.0</lsp4j-version>
-    <pragmatics-version>0.51.0.v20240410</pragmatics-version>
+    <elk-version>0.10.0</elk-version>
+    <klighd-version>3.1.0.v20250428</klighd-version>
+    <lsp4j-version>0.23.1</lsp4j-version>
+    <pragmatics-version>0.52.0.v20250429</pragmatics-version>
 
     <!-- Xtext compile dependency versions -->
-    <xtend-version>2.36.0</xtend-version>
-    <xtext-version>2.36.0</xtext-version>
+    <xtend-version>2.37.0</xtend-version>
+    <xtext-version>2.37.0</xtext-version>
 
     <!-- Tycho -->
-    <tycho-version>2.7.5</tycho-version>
+    <tycho-version>4.0.12</tycho-version>
     <tycho.disableP2Mirrors>true</tycho.disableP2Mirrors>
 
     <!-- Java -->
-    <targetJdk>11</targetJdk>
-    <maven.compiler.source>11</maven.compiler.source>
-    <maven.compiler.target>11</maven.compiler.target>
+    <targetJdk>21</targetJdk>
+    <maven.compiler.source>21</maven.compiler.source>
+    <maven.compiler.target>21</maven.compiler.target>
   
     <!-- Non-breakable space, as normal spaces are trimmed. -->
     <sourceFeatureLabelSuffix>&#xA0;(Sources)</sourceFeatureLabelSuffix>
diff --git a/features/de.cau.cs.kieler.esterel.feature/pom.xml b/features/de.cau.cs.kieler.esterel.feature/pom.xml
index d664bb032a..71f0534860 100644
--- a/features/de.cau.cs.kieler.esterel.feature/pom.xml
+++ b/features/de.cau.cs.kieler.esterel.feature/pom.xml
@@ -15,15 +15,15 @@
   <build>
     <plugins>
       <plugin>
-        <groupId>org.eclipse.tycho.extras</groupId>
-        <artifactId>tycho-source-feature-plugin</artifactId>
+        <groupId>org.eclipse.tycho</groupId>
+        <artifactId>tycho-source-plugin</artifactId>
         <version>${tycho-version}</version>
         <executions>
           <execution>
-            <id>source-feature</id>
+            <id>feature-source</id>
             <phase>package</phase>
             <goals>
-              <goal>source-feature</goal>
+              <goal>feature-source</goal>
             </goals>
             <configuration>
               <excludes>
diff --git a/features/de.cau.cs.kieler.framework.feature/pom.xml b/features/de.cau.cs.kieler.framework.feature/pom.xml
index f0f8d6a0ad..c3320a7b29 100644
--- a/features/de.cau.cs.kieler.framework.feature/pom.xml
+++ b/features/de.cau.cs.kieler.framework.feature/pom.xml
@@ -15,15 +15,15 @@
   <build>
     <plugins>
       <plugin>
-        <groupId>org.eclipse.tycho.extras</groupId>
-        <artifactId>tycho-source-feature-plugin</artifactId>
+        <groupId>org.eclipse.tycho</groupId>
+        <artifactId>tycho-source-plugin</artifactId>
         <version>${tycho-version}</version>
         <executions>
           <execution>
-            <id>source-feature</id>
+            <id>feature-source</id>
             <phase>package</phase>
             <goals>
-              <goal>source-feature</goal>
+              <goal>feature-source</goal>
             </goals>
             <configuration>
               <labelSuffix>${sourceFeatureLabelSuffix}</labelSuffix>
diff --git a/features/de.cau.cs.kieler.sccharts.feature/pom.xml b/features/de.cau.cs.kieler.sccharts.feature/pom.xml
index 67bdd672e4..0e69954ca6 100644
--- a/features/de.cau.cs.kieler.sccharts.feature/pom.xml
+++ b/features/de.cau.cs.kieler.sccharts.feature/pom.xml
@@ -15,15 +15,15 @@
   <build>
     <plugins>
       <plugin>
-        <groupId>org.eclipse.tycho.extras</groupId>
-        <artifactId>tycho-source-feature-plugin</artifactId>
+        <groupId>org.eclipse.tycho</groupId>
+        <artifactId>tycho-source-plugin</artifactId>
         <version>${tycho-version}</version>
         <executions>
           <execution>
-            <id>source-feature</id>
+            <id>feature-source</id>
             <phase>package</phase>
             <goals>
-              <goal>source-feature</goal>
+              <goal>feature-source</goal>
             </goals>
             <configuration>
               <labelSuffix>${sourceFeatureLabelSuffix}</labelSuffix>
diff --git a/language-server/de.cau.cs.kieler.language.server/.classpath b/language-server/de.cau.cs.kieler.language.server/.classpath
index 575acb3fec..09dd3861ec 100644
--- a/language-server/de.cau.cs.kieler.language.server/.classpath
+++ b/language-server/de.cau.cs.kieler.language.server/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21">
 		<attributes>
 			<attribute name="maven.pomderived" value="true"/>
 		</attributes>
diff --git a/language-server/de.cau.cs.kieler.language.server/.settings/org.eclipse.jdt.core.prefs b/language-server/de.cau.cs.kieler.language.server/.settings/org.eclipse.jdt.core.prefs
index 3a393899fe..cf58660fd6 100644
--- a/language-server/de.cau.cs.kieler.language.server/.settings/org.eclipse.jdt.core.prefs
+++ b/language-server/de.cau.cs.kieler.language.server/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=disabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
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 729306eaab..e4d5e36aa4 100644
--- a/language-server/de.cau.cs.kieler.language.server/pom.xml
+++ b/language-server/de.cau.cs.kieler.language.server/pom.xml
@@ -140,12 +140,12 @@
     <dependency>
       <groupId>org.eclipse.platform</groupId>
       <artifactId>org.eclipse.core.runtime</artifactId>
-      <version>3.31.100</version>
+      <version>3.32.0</version>
     </dependency>
     <dependency>
       <groupId>org.eclipse.platform</groupId>
       <artifactId>org.eclipse.equinox.common</artifactId>
-      <version>3.19.100</version>
+      <version>3.19.200</version>
     </dependency>
     
     <!-- Additional dependencies that the downstream Eclipse bundles do not list as Maven dependencies. -->
@@ -160,7 +160,7 @@
     <dependency>
       <groupId>org.eclipse.jdt</groupId>
       <artifactId>org.eclipse.jdt.core</artifactId>
-      <version>3.39.0</version>
+      <version>3.40.0</version>
     </dependency>
     <!-- https://mvnrepository.com/artifact/jakarta.servlet/jakarta.servlet-api -->
     <!-- <dependency>
diff --git a/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD and ELK in Workspace.launch b/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD and ELK in Workspace.launch
index 65d924feba..c0064ea7d7 100644
--- a/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD and ELK in Workspace.launch	
+++ b/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD and ELK in Workspace.launch	
@@ -13,7 +13,7 @@
     <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
     <listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.language.server&quot; type=&quot;1&quot;/&gt;&#10;"/>
-        <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11&quot; path=&quot;5&quot; type=&quot;4&quot;/&gt;&#10;"/>
+        <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21&quot; path=&quot;5&quot; type=&quot;4&quot;/&gt;&#10;"/>
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.annotations&quot; type=&quot;1&quot;/&gt;&#10;"/>
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.annotations.ide&quot; type=&quot;1&quot;/&gt;&#10;"/>
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.core&quot; type=&quot;1&quot;/&gt;&#10;"/>
@@ -161,7 +161,7 @@
     </listAttribute>
     <stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
     <booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
-    <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17/"/>
+    <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21/"/>
     <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="de.cau.cs.kieler.language.server.LanguageServer"/>
     <listAttribute key="org.eclipse.jdt.launching.MODULEPATH"/>
     <stringAttribute key="org.eclipse.jdt.launching.MODULE_NAME" value="de.cau.cs.kieler.language.server"/>
diff --git a/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD in Workspace.launch b/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD in Workspace.launch
index 4e3d1dc327..7ece95de3b 100644
--- a/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD in Workspace.launch	
+++ b/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer with KLighD in Workspace.launch	
@@ -13,7 +13,7 @@
     <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
     <listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.language.server&quot; type=&quot;1&quot;/&gt;&#10;"/>
-        <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11&quot; path=&quot;5&quot; type=&quot;4&quot;/&gt;&#10;"/>
+        <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21&quot; path=&quot;5&quot; type=&quot;4&quot;/&gt;&#10;"/>
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.annotations&quot; type=&quot;1&quot;/&gt;&#10;"/>
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.annotations.ide&quot; type=&quot;1&quot;/&gt;&#10;"/>
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.core&quot; type=&quot;1&quot;/&gt;&#10;"/>
@@ -111,7 +111,7 @@
     </listAttribute>
     <stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
     <booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
-    <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17/"/>
+    <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21/"/>
     <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="de.cau.cs.kieler.language.server.LanguageServer"/>
     <listAttribute key="org.eclipse.jdt.launching.MODULEPATH"/>
     <stringAttribute key="org.eclipse.jdt.launching.MODULE_NAME" value="de.cau.cs.kieler.language.server"/>
diff --git a/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer.launch b/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer.launch
index 2d002f0940..128cfa07ae 100644
--- a/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer.launch
+++ b/language-server/de.cau.cs.kieler.language.server/run-configurations/LanguageServer.launch
@@ -14,7 +14,7 @@
     <listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER&quot; path=&quot;5&quot; type=&quot;4&quot;/&gt;&#10;"/>
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.language.server&quot; type=&quot;1&quot;/&gt;&#10;"/>
-        <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11&quot; path=&quot;5&quot; type=&quot;4&quot;/&gt;&#10;"/>
+        <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21&quot; path=&quot;5&quot; type=&quot;4&quot;/&gt;&#10;"/>
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.annotations&quot; type=&quot;1&quot;/&gt;&#10;"/>
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.annotations.ide&quot; type=&quot;1&quot;/&gt;&#10;"/>
         <listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry path=&quot;5&quot; projectName=&quot;de.cau.cs.kieler.core&quot; type=&quot;1&quot;/&gt;&#10;"/>
@@ -80,7 +80,7 @@
     </listAttribute>
     <stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
     <booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
-    <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17/"/>
+    <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21/"/>
     <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="de.cau.cs.kieler.language.server.LanguageServer"/>
     <listAttribute key="org.eclipse.jdt.launching.MODULEPATH"/>
     <stringAttribute key="org.eclipse.jdt.launching.MODULE_NAME" value="de.cau.cs.kieler.language.server"/>
diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup
index 9f15b08a4c..f48dd50638 100644
--- a/oomph/kieler-semantics-developers.setup
+++ b/oomph/kieler-semantics-developers.setup
@@ -525,11 +525,11 @@
           <repository
               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/"/>
+              url="https://download.eclipse.org/elk/updates/releases/0.10.0/"/>
           <repository
-              url="https://kieler.github.io/KLighD/v3.0.1/"/>
+              url="https://kieler.github.io/KLighD/v3.1.0/"/>
           <repository
-              url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release_pragmatics_2024-04/"/>
+              url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release_pragmatics_2025-04/"/>
           <repository
               url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/websocket-mirror/10.0.20/"/>
         </repositoryList>
@@ -2552,7 +2552,7 @@
             name="edu.umd.cs.piccolo"/>
         <requirement
             name="org.eclipse.xtext.sdk.feature.group"
-            versionRange="[2.33.0,2.34.0)"/>
+            versionRange="[2.37.0,2.38.0)"/>
         <requirement
             name="org.eclipse.emf.mwe2.launcher.feature.group"/>
         <requirement
@@ -2594,15 +2594,13 @@
         <repositoryList
             name="FixedTarget">
           <repository
-              url="https://download.eclipse.org/releases/2023-12"/>
-          <repository
-              url="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.30.0"/>
+              url="https://download.eclipse.org/releases/2024-12"/>
           <repository
-              url="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.33.0/"/>
+              url="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.34.0"/>
           <repository
-              url="https://download.eclipse.org/elk/updates/releases/0.9.0/"/>
+              url="https://download.eclipse.org/elk/updates/releases/0.10.0/"/>
           <repository
-              url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/nightly/klighd/"/>
+              url="https://kieler.github.io/KLighD/v3.1.0/"/>
           <repository
               url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/websocket-mirror/10.0.20/"/>
         </repositoryList>
@@ -2612,9 +2610,9 @@
         xsi:type="setup.p2:P2Task">
       <requirement
           name="org.eclipse.xtext.sdk.feature.group"
-          versionRange="[2.33.0,2.34.0)"/>
+          versionRange="[2.37.0,2.38.0)"/>
       <repository
-          url="https://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/"/>
+          url="https://download.eclipse.org/releases/2024-12/"/>
     </setupTask>
   </stream>
   <stream name="elk"
@@ -2894,8 +2892,7 @@
         <requirement
             name="edu.umd.cs.piccolo"/>
         <requirement
-            name="org.eclipse.xtext.sdk.feature.group"
-            versionRange="[2.33.0,2.34.0)"/>
+            name="org.eclipse.xtext.sdk.feature.group"/>
         <requirement
             name="org.eclipse.emf.mwe2.launcher.feature.group"/>
         <requirement
@@ -2915,24 +2912,18 @@
             versionRange="10.0.20"/>
         <requirement
             name="jakarta.servlet"/>
-        <requirement
-            name="org.eclipse.sprotty"/>
         <repositoryList
             name="FixedTarget">
           <repository
-              url="https://download.eclipse.org/releases/2023-12"/>
-          <repository
-              url="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.30.0"/>
+              url="https://download.eclipse.org/releases/2024-12"/>
           <repository
-              url="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.33.0/"/>
+              url="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.34.0"/>
           <repository
-              url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/nightly/klighd/"/>
-          <repository
-              url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/sprotty/0.9.0/"/>
+              url="https://kieler.github.io/KLighD/v3.1.0/"/>
           <repository
               url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/websocket-mirror/10.0.20/"/>
           <repository
-              url="https://download.eclipse.org/elk/updates/releases/0.9.0/"/>
+              url="https://download.eclipse.org/elk/updates/releases/0.10.0/"/>
         </repositoryList>
       </targlet>
     </setupTask>
@@ -2941,14 +2932,11 @@
       <requirement
           name="org.eclipse.elk.sdk.feature.feature.group"/>
       <requirement
-          name="org.eclipse.xtext.sdk.feature.group"
-          versionRange="[2.33.0,2.34.0)"/>
+          name="org.eclipse.xtext.sdk.feature.group"/>
       <repository
           url="https://download.eclipse.org/elk/updates/nightly/"/>
       <repository
-          url="https://download.eclipse.org/mylyn/releases/3.25/"/>
-      <repository
-          url="https://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.33.0/"/>
+              url="https://download.eclipse.org/releases/2024-12"/>
     </setupTask>
   </stream>
   <logicalProjectContainer
diff --git a/plugins/de.cau.cs.kieler.annotations.ide/.classpath b/plugins/de.cau.cs.kieler.annotations.ide/.classpath
index 616862fb33..c707d81aa5 100644
--- a/plugins/de.cau.cs.kieler.annotations.ide/.classpath
+++ b/plugins/de.cau.cs.kieler.annotations.ide/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21">
 		<attributes>
 			<attribute name="module" value="true"/>
 		</attributes>
diff --git a/plugins/de.cau.cs.kieler.annotations.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.annotations.ide/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.annotations.ide/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.annotations.ide/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.annotations.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.annotations.ide/META-INF/MANIFEST.MF
index e69ce203c6..74869d7228 100644
--- a/plugins/de.cau.cs.kieler.annotations.ide/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.annotations.ide/META-INF/MANIFEST.MF
@@ -4,7 +4,7 @@ Bundle-Name: Annotations IDE
 Bundle-SymbolicName: de.cau.cs.kieler.annotations.ide
 Bundle-Version: 1.6.0.qualifier
 Automatic-Module-Name: de.cau.cs.kieler.annotations.ide
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)",
  com.google.guava,
  org.eclipse.xtext.xbase.lib,
diff --git a/plugins/de.cau.cs.kieler.annotations.ui/.classpath b/plugins/de.cau.cs.kieler.annotations.ui/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.annotations.ui/.classpath
+++ b/plugins/de.cau.cs.kieler.annotations.ui/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.annotations.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.annotations.ui/.settings/org.eclipse.jdt.core.prefs
index c9545f06a4..23fa13b170 100644
--- a/plugins/de.cau.cs.kieler.annotations.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.annotations.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.annotations.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.annotations.ui/META-INF/MANIFEST.MF
index 3d78239cdf..3e54865040 100644
--- a/plugins/de.cau.cs.kieler.annotations.ui/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.annotations.ui/META-INF/MANIFEST.MF
@@ -20,7 +20,7 @@ Require-Bundle: org.eclipse.ui,
  org.eclipse.xtext.xbase.lib;bundle-version="2.12.0",
  org.eclipse.xtext.common.types.ui,
  de.cau.cs.kieler.annotations.ide
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Import-Package: org.apache.log4j
 Export-Package: de.cau.cs.kieler.annotations.ui,
diff --git a/plugins/de.cau.cs.kieler.annotations/.classpath b/plugins/de.cau.cs.kieler.annotations/.classpath
index 6e707db1f1..33a2f438a6 100644
--- a/plugins/de.cau.cs.kieler.annotations/.classpath
+++ b/plugins/de.cau.cs.kieler.annotations/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21">
 		<attributes>
 			<attribute name="module" value="true"/>
 		</attributes>
diff --git a/plugins/de.cau.cs.kieler.annotations/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.annotations/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.annotations/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.annotations/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.annotations/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.annotations/META-INF/MANIFEST.MF
index 3cb0fea4ad..4450f0d063 100644
--- a/plugins/de.cau.cs.kieler.annotations/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.annotations/META-INF/MANIFEST.MF
@@ -32,6 +32,6 @@ Require-Bundle: org.eclipse.xtend.lib;bundle-version="2.12.0",
  org.eclipse.xtext;bundle-version="2.18.0",
  org.eclipse.emf.ecore;visibility:=reexport
 Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Import-Package: org.apache.log4j
 Automatic-Module-Name: de.cau.cs.kieler.annotations
diff --git a/plugins/de.cau.cs.kieler.c.sccharts/.classpath b/plugins/de.cau.cs.kieler.c.sccharts/.classpath
index d6d41ad44d..bbf3302a4f 100644
--- a/plugins/de.cau.cs.kieler.c.sccharts/.classpath
+++ b/plugins/de.cau.cs.kieler.c.sccharts/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry exported="true" kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="xtend-gen"/>
 	<classpathentry kind="src" path="src"/>
diff --git a/plugins/de.cau.cs.kieler.c.sccharts/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.c.sccharts/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.c.sccharts/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.c.sccharts/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.c.sccharts/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.c.sccharts/META-INF/MANIFEST.MF
index 7836f89dda..02309d2e1c 100644
--- a/plugins/de.cau.cs.kieler.c.sccharts/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.c.sccharts/META-INF/MANIFEST.MF
@@ -5,7 +5,7 @@ Bundle-SymbolicName: de.cau.cs.kieler.c.sccharts;singleton:=true
 Bundle-Version: 1.6.0.qualifier
 Bundle-Vendor: Kiel University
 Eclipse-UI: True
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.eclipse.xtend.lib,
  org.eclipse.xtend.lib.macro,
  com.google.guava,
diff --git a/plugins/de.cau.cs.kieler.core.perspectives/.classpath b/plugins/de.cau.cs.kieler.core.perspectives/.classpath
index e801ebfb46..375961e4d6 100644
--- a/plugins/de.cau.cs.kieler.core.perspectives/.classpath
+++ b/plugins/de.cau.cs.kieler.core.perspectives/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="output" path="bin"/>
diff --git a/plugins/de.cau.cs.kieler.core.perspectives/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.core.perspectives/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.core.perspectives/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.core.perspectives/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.core.perspectives/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.core.perspectives/META-INF/MANIFEST.MF
index 23a8581329..6377ea274d 100644
--- a/plugins/de.cau.cs.kieler.core.perspectives/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.core.perspectives/META-INF/MANIFEST.MF
@@ -12,6 +12,6 @@ Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.ui.ide.application;bundle-version="1.0.400",
  org.eclipse.ui.console;bundle-version="3.5.300",
  org.eclipse.ui;bundle-version="3.104.0"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Automatic-Module-Name: de.cau.cs.kieler.core.perspectives
diff --git a/plugins/de.cau.cs.kieler.core.product/.classpath b/plugins/de.cau.cs.kieler.core.product/.classpath
index 47ce7cd075..2605d96cf9 100644
--- a/plugins/de.cau.cs.kieler.core.product/.classpath
+++ b/plugins/de.cau.cs.kieler.core.product/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.core.product/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.core.product/.settings/org.eclipse.jdt.core.prefs
index c9545f06a4..23fa13b170 100644
--- a/plugins/de.cau.cs.kieler.core.product/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.core.product/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.core.product/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.core.product/META-INF/MANIFEST.MF
index 7bc19a025f..5740635261 100644
--- a/plugins/de.cau.cs.kieler.core.product/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.core.product/META-INF/MANIFEST.MF
@@ -16,7 +16,7 @@ Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.xtext.xbase.lib,
  org.eclipse.xtend.lib,
  org.eclipse.xtend.lib.macro
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Bundle-Activator: de.cau.cs.kieler.core.product.CoreProductPlugin
 Automatic-Module-Name: de.cau.cs.kieler.core.product
diff --git a/plugins/de.cau.cs.kieler.core/.classpath b/plugins/de.cau.cs.kieler.core/.classpath
index 47ce7cd075..2605d96cf9 100644
--- a/plugins/de.cau.cs.kieler.core/.classpath
+++ b/plugins/de.cau.cs.kieler.core/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.core/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.core/.settings/org.eclipse.jdt.core.prefs
index c9545f06a4..23fa13b170 100644
--- a/plugins/de.cau.cs.kieler.core/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.core/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.core/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.core/META-INF/MANIFEST.MF
index 43b7343504..6b2193063a 100644
--- a/plugins/de.cau.cs.kieler.core/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.core/META-INF/MANIFEST.MF
@@ -13,7 +13,7 @@ Require-Bundle: org.eclipse.core.resources;bundle-version="3.5.0",
  org.eclipse.xtext,
  org.eclipse.xtext.xtext.generator;bundle-version="2.27.0"
 Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.core,
  de.cau.cs.kieler.core.definitions,
  de.cau.cs.kieler.core.ls,
diff --git a/plugins/de.cau.cs.kieler.esterel.compiler/.classpath b/plugins/de.cau.cs.kieler.esterel.compiler/.classpath
index 47ce7cd075..2605d96cf9 100644
--- a/plugins/de.cau.cs.kieler.esterel.compiler/.classpath
+++ b/plugins/de.cau.cs.kieler.esterel.compiler/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.esterel.compiler/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.esterel.compiler/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.esterel.compiler/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.esterel.compiler/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.esterel.compiler/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.esterel.compiler/META-INF/MANIFEST.MF
index 7870086dc4..e0ce19f705 100644
--- a/plugins/de.cau.cs.kieler.esterel.compiler/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.esterel.compiler/META-INF/MANIFEST.MF
@@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: External Esterel Compilers
 Bundle-SymbolicName: de.cau.cs.kieler.esterel.compiler;singleton:=true
 Bundle-Version: 1.6.0.qualifier
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.eclipse.core.runtime;bundle-version="3.12.0",
  org.eclipse.xtext.xbase.lib,
  org.eclipse.xtend.lib,
diff --git a/plugins/de.cau.cs.kieler.esterel.ide/.classpath b/plugins/de.cau.cs.kieler.esterel.ide/.classpath
index 616862fb33..c707d81aa5 100644
--- a/plugins/de.cau.cs.kieler.esterel.ide/.classpath
+++ b/plugins/de.cau.cs.kieler.esterel.ide/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21">
 		<attributes>
 			<attribute name="module" value="true"/>
 		</attributes>
diff --git a/plugins/de.cau.cs.kieler.esterel.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.esterel.ide/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.esterel.ide/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.esterel.ide/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.esterel.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.esterel.ide/META-INF/MANIFEST.MF
index 15808c2836..7f7b4f5d76 100644
--- a/plugins/de.cau.cs.kieler.esterel.ide/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.esterel.ide/META-INF/MANIFEST.MF
@@ -4,7 +4,7 @@ Bundle-Name: Esterel IDE
 Bundle-SymbolicName: de.cau.cs.kieler.esterel.ide
 Bundle-Version: 1.6.0.qualifier
 Automatic-Module-Name: de.cau.cs.kieler.esterel.ide
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)",
  de.cau.cs.kieler.esterel,
  org.eclipse.xtext.ide;bundle-version="2.12.0",
diff --git a/plugins/de.cau.cs.kieler.esterel.ui/.classpath b/plugins/de.cau.cs.kieler.esterel.ui/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.esterel.ui/.classpath
+++ b/plugins/de.cau.cs.kieler.esterel.ui/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.esterel.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.esterel.ui/.settings/org.eclipse.jdt.core.prefs
index c9545f06a4..23fa13b170 100644
--- a/plugins/de.cau.cs.kieler.esterel.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.esterel.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.esterel.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.esterel.ui/META-INF/MANIFEST.MF
index b1f612e5d8..c9e2176718 100644
--- a/plugins/de.cau.cs.kieler.esterel.ui/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.esterel.ui/META-INF/MANIFEST.MF
@@ -24,7 +24,7 @@ Require-Bundle: org.eclipse.xtext.ui,
  org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional,
  de.cau.cs.kieler.esterel.ide
 Import-Package: org.apache.log4j
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.esterel.ui.contentassist,
  de.cau.cs.kieler.esterel.ui.quickfix,
  de.cau.cs.kieler.esterel.ui.scest.contentassist,
diff --git a/plugins/de.cau.cs.kieler.esterel/.classpath b/plugins/de.cau.cs.kieler.esterel/.classpath
index fbe714a1a8..a131b939c8 100644
--- a/plugins/de.cau.cs.kieler.esterel/.classpath
+++ b/plugins/de.cau.cs.kieler.esterel/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="xtend-gen"/>
 	<classpathentry kind="src" path="src"/>
diff --git a/plugins/de.cau.cs.kieler.esterel/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.esterel/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.esterel/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.esterel/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.esterel/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.esterel/META-INF/MANIFEST.MF
index c06b4cb562..5226439b02 100644
--- a/plugins/de.cau.cs.kieler.esterel/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.esterel/META-INF/MANIFEST.MF
@@ -21,7 +21,7 @@ Require-Bundle: org.eclipse.xtext.xtext.generator;bundle-version="2.27.0",
  org.eclipse.equinox.common,
  org.eclipse.core.runtime,
  de.cau.cs.kieler.core
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.esterel,
  de.cau.cs.kieler.esterel.compiler,
  de.cau.cs.kieler.esterel.compiler.processors,
diff --git a/plugins/de.cau.cs.kieler.kexpressions.ide/.classpath b/plugins/de.cau.cs.kieler.kexpressions.ide/.classpath
index 616862fb33..c707d81aa5 100644
--- a/plugins/de.cau.cs.kieler.kexpressions.ide/.classpath
+++ b/plugins/de.cau.cs.kieler.kexpressions.ide/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21">
 		<attributes>
 			<attribute name="module" value="true"/>
 		</attributes>
diff --git a/plugins/de.cau.cs.kieler.kexpressions.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.kexpressions.ide/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.kexpressions.ide/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.kexpressions.ide/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.kexpressions.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kexpressions.ide/META-INF/MANIFEST.MF
index 560dce2881..c59093327e 100644
--- a/plugins/de.cau.cs.kieler.kexpressions.ide/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.kexpressions.ide/META-INF/MANIFEST.MF
@@ -4,7 +4,7 @@ Bundle-Name: KExpressions IDE
 Bundle-SymbolicName: de.cau.cs.kieler.kexpressions.ide
 Bundle-Version: 1.6.0.qualifier
 Automatic-Module-Name: de.cau.cs.kieler.kexpressions.ide
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)",
  com.google.guava,
  org.eclipse.xtext.xbase.lib,
diff --git a/plugins/de.cau.cs.kieler.kexpressions.ui/.classpath b/plugins/de.cau.cs.kieler.kexpressions.ui/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.kexpressions.ui/.classpath
+++ b/plugins/de.cau.cs.kieler.kexpressions.ui/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.kexpressions.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.kexpressions.ui/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.kexpressions.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.kexpressions.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.kexpressions.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kexpressions.ui/META-INF/MANIFEST.MF
index eca1ccf4fb..832b1e0b58 100644
--- a/plugins/de.cau.cs.kieler.kexpressions.ui/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.kexpressions.ui/META-INF/MANIFEST.MF
@@ -19,7 +19,7 @@ Require-Bundle: org.eclipse.xtext.ui;bundle-version="2.1.0",
  org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional,
  de.cau.cs.kieler.kexpressions.ide
 Import-Package: org.apache.log4j
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.kexpressions.ui,
  de.cau.cs.kieler.kexpressions.ui.contentassist,
  de.cau.cs.kieler.kexpressions.ui.keffects,
diff --git a/plugins/de.cau.cs.kieler.kexpressions/.classpath b/plugins/de.cau.cs.kieler.kexpressions/.classpath
index fbe714a1a8..a131b939c8 100644
--- a/plugins/de.cau.cs.kieler.kexpressions/.classpath
+++ b/plugins/de.cau.cs.kieler.kexpressions/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="xtend-gen"/>
 	<classpathentry kind="src" path="src"/>
diff --git a/plugins/de.cau.cs.kieler.kexpressions/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.kexpressions/.settings/org.eclipse.jdt.core.prefs
index a58ebdcad3..1e0cb16bbc 100644
--- a/plugins/de.cau.cs.kieler.kexpressions/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.kexpressions/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
 org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.debug.lineNumber=generate
 org.eclipse.jdt.core.compiler.debug.localVariable=generate
 org.eclipse.jdt.core.compiler.debug.sourceFile=generate
@@ -12,4 +12,4 @@ org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.kexpressions/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kexpressions/META-INF/MANIFEST.MF
index 5b2c90c4c7..88ce92c655 100644
--- a/plugins/de.cau.cs.kieler.kexpressions/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.kexpressions/META-INF/MANIFEST.MF
@@ -7,7 +7,7 @@ Bundle-Version: 1.6.0.qualifier
 Bundle-ClassPath: .
 Bundle-Vendor: %providerName
 Bundle-Localization: plugin
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.kexpressions,
  de.cau.cs.kieler.kexpressions.converter,
  de.cau.cs.kieler.kexpressions.eval,
diff --git a/plugins/de.cau.cs.kieler.kicool.ide/.classpath b/plugins/de.cau.cs.kieler.kicool.ide/.classpath
index 616862fb33..c707d81aa5 100644
--- a/plugins/de.cau.cs.kieler.kicool.ide/.classpath
+++ b/plugins/de.cau.cs.kieler.kicool.ide/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21">
 		<attributes>
 			<attribute name="module" value="true"/>
 		</attributes>
diff --git a/plugins/de.cau.cs.kieler.kicool.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.kicool.ide/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.kicool.ide/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.kicool.ide/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.kicool.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kicool.ide/META-INF/MANIFEST.MF
index 27ad99363a..5afcf715df 100644
--- a/plugins/de.cau.cs.kieler.kicool.ide/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.kicool.ide/META-INF/MANIFEST.MF
@@ -5,7 +5,7 @@ Bundle-SymbolicName: de.cau.cs.kieler.kicool.ide
 Bundle-Version: 1.6.0.qualifier
 Bundle-Vendor: Kiel University
 Automatic-Module-Name: de.cau.cs.kieler.kicool.ide
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)",
  de.cau.cs.kieler.kicool,
  org.eclipse.xtext.ide,
diff --git a/plugins/de.cau.cs.kieler.kicool.ui/.classpath b/plugins/de.cau.cs.kieler.kicool.ui/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.kicool.ui/.classpath
+++ b/plugins/de.cau.cs.kieler.kicool.ui/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.kicool.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.kicool.ui/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.kicool.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.kicool.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.kicool.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kicool.ui/META-INF/MANIFEST.MF
index 3e4fb443e5..c714d0f6c2 100644
--- a/plugins/de.cau.cs.kieler.kicool.ui/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.kicool.ui/META-INF/MANIFEST.MF
@@ -38,7 +38,7 @@ Require-Bundle: org.eclipse.ui,
  org.eclipse.jdt;bundle-version="3.18.200",
  org.eclipse.jdt.core;bundle-version="3.20.0",
  de.cau.cs.kieler.annotations.ide
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Export-Package: de.cau.cs.kieler.kicool.ui,
  de.cau.cs.kieler.kicool.ui.console,
diff --git a/plugins/de.cau.cs.kieler.kicool/.classpath b/plugins/de.cau.cs.kieler.kicool/.classpath
index 3dd8a62ff2..7be742d431 100644
--- a/plugins/de.cau.cs.kieler.kicool/.classpath
+++ b/plugins/de.cau.cs.kieler.kicool/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="src-gen"/>
diff --git a/plugins/de.cau.cs.kieler.kicool/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.kicool/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.kicool/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.kicool/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.kicool/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kicool/META-INF/MANIFEST.MF
index eaee74b756..8c8ef620e9 100644
--- a/plugins/de.cau.cs.kieler.kicool/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.kicool/META-INF/MANIFEST.MF
@@ -20,7 +20,7 @@ Require-Bundle: org.eclipse.emf.ecore;visibility:=reexport,
  org.eclipse.core.resources,
  com.google.gson;bundle-version="2.8.2",
  org.freemarker.freemarker;bundle-version="2.3.32"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.kicool,
  de.cau.cs.kieler.kicool.classes,
  de.cau.cs.kieler.kicool.cli,
diff --git a/plugins/de.cau.cs.kieler.kivis.ide/.classpath b/plugins/de.cau.cs.kieler.kivis.ide/.classpath
index 95cdcb1209..74e8d1a179 100644
--- a/plugins/de.cau.cs.kieler.kivis.ide/.classpath
+++ b/plugins/de.cau.cs.kieler.kivis.ide/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="src-gen"/>
diff --git a/plugins/de.cau.cs.kieler.kivis.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.kivis.ide/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.kivis.ide/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.kivis.ide/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.kivis.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kivis.ide/META-INF/MANIFEST.MF
index 7e373ba921..c3cc70376c 100644
--- a/plugins/de.cau.cs.kieler.kivis.ide/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.kivis.ide/META-INF/MANIFEST.MF
@@ -19,7 +19,7 @@ Require-Bundle: org.eclipse.core.runtime,
  de.cau.cs.kieler.simulation,
  de.cau.cs.kieler.kicool,
  de.cau.cs.kieler.websocket.mirror;bundle-version="10.0.20"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.kivis.ide,
  de.cau.cs.kieler.kivis.ide.contentassist.antlr,
  de.cau.cs.kieler.kivis.ide.contentassist.antlr.internal,
diff --git a/plugins/de.cau.cs.kieler.kivis.ui/.classpath b/plugins/de.cau.cs.kieler.kivis.ui/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.kivis.ui/.classpath
+++ b/plugins/de.cau.cs.kieler.kivis.ui/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.kivis.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.kivis.ui/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.kivis.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.kivis.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.kivis.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kivis.ui/META-INF/MANIFEST.MF
index f42f08cbbf..c8a1a69480 100644
--- a/plugins/de.cau.cs.kieler.kivis.ui/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.kivis.ui/META-INF/MANIFEST.MF
@@ -4,7 +4,7 @@ Bundle-Name: KIELER Simulation Visualization
 Bundle-SymbolicName: de.cau.cs.kieler.kivis.ui;singleton:=true
 Bundle-Version: 1.6.0.qualifier
 Bundle-Vendor: Kiel University
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Eclipse-UI: True
 Require-Bundle: org.eclipse.xtext.ui,
diff --git a/plugins/de.cau.cs.kieler.kivis/.classpath b/plugins/de.cau.cs.kieler.kivis/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.kivis/.classpath
+++ b/plugins/de.cau.cs.kieler.kivis/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.kivis/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.kivis/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.kivis/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.kivis/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.kivis/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.kivis/META-INF/MANIFEST.MF
index 11a8af2723..6962153b37 100644
--- a/plugins/de.cau.cs.kieler.kivis/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.kivis/META-INF/MANIFEST.MF
@@ -20,7 +20,7 @@ Require-Bundle: org.eclipse.core.runtime,
  com.google.gson;bundle-version="2.7.0",
  de.cau.cs.kieler.kicool;bundle-version="0.13.0",
  org.eclipse.core.resources;bundle-version="3.12.0"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.kivis,
  de.cau.cs.kieler.kivis.formatting2,
  de.cau.cs.kieler.kivis.kivis,
diff --git a/plugins/de.cau.cs.kieler.lustre.compiler/.classpath b/plugins/de.cau.cs.kieler.lustre.compiler/.classpath
index 47ce7cd075..2605d96cf9 100644
--- a/plugins/de.cau.cs.kieler.lustre.compiler/.classpath
+++ b/plugins/de.cau.cs.kieler.lustre.compiler/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.lustre.compiler/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.lustre.compiler/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.lustre.compiler/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.lustre.compiler/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.lustre.compiler/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.lustre.compiler/META-INF/MANIFEST.MF
index 3199fb6128..4e55881583 100644
--- a/plugins/de.cau.cs.kieler.lustre.compiler/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.lustre.compiler/META-INF/MANIFEST.MF
@@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: External Lustre Compilers
 Bundle-SymbolicName: de.cau.cs.kieler.lustre.compiler;singleton:=true
 Bundle-Version: 1.6.0.qualifier
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.eclipse.core.runtime;bundle-version="3.12.0",
  org.eclipse.xtext.xbase.lib,
  org.eclipse.xtend.lib,
diff --git a/plugins/de.cau.cs.kieler.lustre.ide/.classpath b/plugins/de.cau.cs.kieler.lustre.ide/.classpath
index 616862fb33..c707d81aa5 100644
--- a/plugins/de.cau.cs.kieler.lustre.ide/.classpath
+++ b/plugins/de.cau.cs.kieler.lustre.ide/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21">
 		<attributes>
 			<attribute name="module" value="true"/>
 		</attributes>
diff --git a/plugins/de.cau.cs.kieler.lustre.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.lustre.ide/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.lustre.ide/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.lustre.ide/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.lustre.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.lustre.ide/META-INF/MANIFEST.MF
index e86bd40539..33a911f01c 100644
--- a/plugins/de.cau.cs.kieler.lustre.ide/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.lustre.ide/META-INF/MANIFEST.MF
@@ -5,7 +5,7 @@ Bundle-SymbolicName: de.cau.cs.kieler.lustre.ide
 Bundle-Version: 1.6.0.qualifier
 Bundle-Vendor: Kiel University
 Automatic-Module-Name: de.cau.cs.kieler.lustre.ide
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)",
  de.cau.cs.kieler.lustre,
  org.eclipse.xtext.ide;bundle-version="2.12.0",
diff --git a/plugins/de.cau.cs.kieler.lustre.ui/.classpath b/plugins/de.cau.cs.kieler.lustre.ui/.classpath
index 95cdcb1209..74e8d1a179 100755
--- a/plugins/de.cau.cs.kieler.lustre.ui/.classpath
+++ b/plugins/de.cau.cs.kieler.lustre.ui/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="src-gen"/>
diff --git a/plugins/de.cau.cs.kieler.lustre.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.lustre.ui/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100755
--- a/plugins/de.cau.cs.kieler.lustre.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.lustre.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.lustre.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.lustre.ui/META-INF/MANIFEST.MF
index 29872ddfea..799adbfea4 100755
--- a/plugins/de.cau.cs.kieler.lustre.ui/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.lustre.ui/META-INF/MANIFEST.MF
@@ -27,7 +27,7 @@ Require-Bundle: de.cau.cs.kieler.lustre,
  de.cau.cs.kieler.sccharts.ui;bundle-version="1.1.0",
  org.eclipse.elk.core;bundle-version="0.4.0"
 Import-Package: org.apache.log4j
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.lustre.ui.internal,
  de.cau.cs.kieler.lustre.ui.quickfix,
  de.cau.cs.kieler.lustre.ui.contentassist,
diff --git a/plugins/de.cau.cs.kieler.lustre/.classpath b/plugins/de.cau.cs.kieler.lustre/.classpath
index 95cdcb1209..74e8d1a179 100644
--- a/plugins/de.cau.cs.kieler.lustre/.classpath
+++ b/plugins/de.cau.cs.kieler.lustre/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="src-gen"/>
diff --git a/plugins/de.cau.cs.kieler.lustre/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.lustre/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.lustre/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.lustre/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.lustre/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.lustre/META-INF/MANIFEST.MF
index 2c0169d533..0b64f17df2 100644
--- a/plugins/de.cau.cs.kieler.lustre/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.lustre/META-INF/MANIFEST.MF
@@ -18,7 +18,7 @@ Require-Bundle: org.eclipse.xtext.xtext.generator;bundle-version="2.27.0",
  de.cau.cs.kieler.kexpressions;visibility:=reexport,
  de.cau.cs.kieler.scl;bundle-version="0.14.0",
  org.eclipse.core.runtime;bundle-version="3.14.0"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.lustre,
  de.cau.cs.kieler.lustre.compiler,
  de.cau.cs.kieler.lustre.compiler.processors,
diff --git a/plugins/de.cau.cs.kieler.overlord/.classpath b/plugins/de.cau.cs.kieler.overlord/.classpath
index e801ebfb46..375961e4d6 100644
--- a/plugins/de.cau.cs.kieler.overlord/.classpath
+++ b/plugins/de.cau.cs.kieler.overlord/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="output" path="bin"/>
diff --git a/plugins/de.cau.cs.kieler.overlord/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.overlord/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.overlord/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.overlord/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.overlord/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.overlord/META-INF/MANIFEST.MF
index 9b48d65481..5d106b25fa 100644
--- a/plugins/de.cau.cs.kieler.overlord/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.overlord/META-INF/MANIFEST.MF
@@ -5,7 +5,7 @@ Bundle-SymbolicName: de.cau.cs.kieler.overlord
 Bundle-Version: 1.6.0.qualifier
 Bundle-Vendor: Kiel University
 Automatic-Module-Name: de.cau.cs.kieler.overlord
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: de.cau.cs.kieler.annotations,
  de.cau.cs.kieler.kexpressions,
  de.cau.cs.kieler.kicool,
diff --git a/plugins/de.cau.cs.kieler.overlord/run-configurations/KIELER.launch b/plugins/de.cau.cs.kieler.overlord/run-configurations/KIELER.launch
index e43eb39b5c..fbbdb4d75f 100644
--- a/plugins/de.cau.cs.kieler.overlord/run-configurations/KIELER.launch
+++ b/plugins/de.cau.cs.kieler.overlord/run-configurations/KIELER.launch
@@ -17,7 +17,7 @@
     <booleanAttribute key="org.eclipse.jdt.launching.ATTR_ATTR_USE_ARGFILE" value="false"/>
     <booleanAttribute key="org.eclipse.jdt.launching.ATTR_SHOW_CODEDETAILS_IN_EXCEPTION_MESSAGES" value="true"/>
     <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
-    <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
+    <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
     <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl} -consoleLog"/>
     <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/>
     <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Dorg.eclipse.swt.graphics.Resource.reportNonDisposed=true"/>
diff --git a/plugins/de.cau.cs.kieler.sccharts.ide/.classpath b/plugins/de.cau.cs.kieler.sccharts.ide/.classpath
index 616862fb33..c707d81aa5 100644
--- a/plugins/de.cau.cs.kieler.sccharts.ide/.classpath
+++ b/plugins/de.cau.cs.kieler.sccharts.ide/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21">
 		<attributes>
 			<attribute name="module" value="true"/>
 		</attributes>
diff --git a/plugins/de.cau.cs.kieler.sccharts.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.sccharts.ide/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.sccharts.ide/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.sccharts.ide/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.sccharts.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.sccharts.ide/META-INF/MANIFEST.MF
index 353d46e807..b61f67e5c0 100644
--- a/plugins/de.cau.cs.kieler.sccharts.ide/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.sccharts.ide/META-INF/MANIFEST.MF
@@ -4,7 +4,7 @@ Bundle-Name: SCCharts IDE
 Bundle-SymbolicName: de.cau.cs.kieler.sccharts.ide
 Bundle-Version: 1.6.0.qualifier
 Automatic-Module-Name: de.cau.cs.kieler.sccharts.ide
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)",
  com.google.guava,
  org.eclipse.xtext.xbase.lib,
diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/.classpath b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/.classpath
+++ b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/META-INF/MANIFEST.MF
index 154e35e968..4e23ad4f5a 100644
--- a/plugins/de.cau.cs.kieler.sccharts.legacy.ui/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.sccharts.legacy.ui/META-INF/MANIFEST.MF
@@ -18,7 +18,7 @@ Require-Bundle: org.eclipse.ui,
  org.eclipse.elk.alg.layered;bundle-version="0.2.1",
  org.eclipse.elk.core;bundle-version="0.2.1",
  de.cau.cs.kieler.kicool.ui
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Export-Package: de.cau.cs.kieler.sccharts.legacy.annotations.ui.contentassist,
  de.cau.cs.kieler.sccharts.legacy.annotations.ui.quickfix,
diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy/.classpath b/plugins/de.cau.cs.kieler.sccharts.legacy/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.sccharts.legacy/.classpath
+++ b/plugins/de.cau.cs.kieler.sccharts.legacy/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.sccharts.legacy/.settings/org.eclipse.jdt.core.prefs
index a58ebdcad3..1e0cb16bbc 100644
--- a/plugins/de.cau.cs.kieler.sccharts.legacy/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.sccharts.legacy/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
 org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.debug.lineNumber=generate
 org.eclipse.jdt.core.compiler.debug.localVariable=generate
 org.eclipse.jdt.core.compiler.debug.sourceFile=generate
@@ -12,4 +12,4 @@ org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.sccharts.legacy/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.sccharts.legacy/META-INF/MANIFEST.MF
index b9a26cedc9..9452eaf81f 100644
--- a/plugins/de.cau.cs.kieler.sccharts.legacy/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.sccharts.legacy/META-INF/MANIFEST.MF
@@ -6,7 +6,7 @@ Bundle-Version: 1.6.0.qualifier
 Bundle-ClassPath: .
 Bundle-Vendor: Kiel University
 Bundle-Localization: plugin
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Eclipse-UI: True
 Require-Bundle: com.google.guava,
  org.eclipse.xtext.xbase.lib,
diff --git a/plugins/de.cau.cs.kieler.sccharts.ui/.classpath b/plugins/de.cau.cs.kieler.sccharts.ui/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.sccharts.ui/.classpath
+++ b/plugins/de.cau.cs.kieler.sccharts.ui/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.sccharts.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.sccharts.ui/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.sccharts.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.sccharts.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.sccharts.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.sccharts.ui/META-INF/MANIFEST.MF
index e5734081b3..a824437d92 100644
--- a/plugins/de.cau.cs.kieler.sccharts.ui/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.sccharts.ui/META-INF/MANIFEST.MF
@@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: SCCharts UI
 Bundle-SymbolicName: de.cau.cs.kieler.sccharts.ui;singleton:=true
 Bundle-Version: 1.6.0.qualifier
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Eclipse-UI: True
 Require-Bundle: de.cau.cs.kieler.klighd,
  org.eclipse.xtend.lib;bundle-version="2.3.0",
diff --git a/plugins/de.cau.cs.kieler.sccharts/.classpath b/plugins/de.cau.cs.kieler.sccharts/.classpath
index b365ec8f7b..d5425e98db 100644
--- a/plugins/de.cau.cs.kieler.sccharts/.classpath
+++ b/plugins/de.cau.cs.kieler.sccharts/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="xtend-gen"/>
 	<classpathentry kind="src" path="src-gen"/>
diff --git a/plugins/de.cau.cs.kieler.sccharts/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.sccharts/.settings/org.eclipse.jdt.core.prefs
index a58ebdcad3..1e0cb16bbc 100644
--- a/plugins/de.cau.cs.kieler.sccharts/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.sccharts/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
 org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.debug.lineNumber=generate
 org.eclipse.jdt.core.compiler.debug.localVariable=generate
 org.eclipse.jdt.core.compiler.debug.sourceFile=generate
@@ -12,4 +12,4 @@ org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF
index 2e14af04ce..10b0563472 100644
--- a/plugins/de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF
@@ -7,7 +7,7 @@ Bundle-Version: 1.6.0.qualifier
 Bundle-ClassPath: .
 Bundle-Vendor: Kiel University
 Bundle-Localization: plugin
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.sccharts,
  de.cau.cs.kieler.sccharts.cli,
  de.cau.cs.kieler.sccharts.enforcer,
diff --git a/plugins/de.cau.cs.kieler.scg.klighd/.classpath b/plugins/de.cau.cs.kieler.scg.klighd/.classpath
index 44e0ca59e4..4a2ab2fdb0 100644
--- a/plugins/de.cau.cs.kieler.scg.klighd/.classpath
+++ b/plugins/de.cau.cs.kieler.scg.klighd/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="xtend-gen"/>
 	<classpathentry kind="src" path="src"/>
diff --git a/plugins/de.cau.cs.kieler.scg.klighd/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.scg.klighd/.settings/org.eclipse.jdt.core.prefs
index c9545f06a4..23fa13b170 100644
--- a/plugins/de.cau.cs.kieler.scg.klighd/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.scg.klighd/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.scg.klighd/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.scg.klighd/META-INF/MANIFEST.MF
index 8fd36d11f0..2ec5225ba9 100644
--- a/plugins/de.cau.cs.kieler.scg.klighd/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.scg.klighd/META-INF/MANIFEST.MF
@@ -23,7 +23,7 @@ Require-Bundle: org.eclipse.elk.core;bundle-version="0.7.1",
  de.cau.cs.kieler.simulation.ui,
  de.cau.cs.kieler.annotations.ide,
  org.eclipse.elk.alg.mrtree
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.scg.klighd
 Bundle-ActivationPolicy: lazy
 Bundle-Activator: de.cau.cs.kieler.scg.klighd.SCGUIModule
diff --git a/plugins/de.cau.cs.kieler.scg/.classpath b/plugins/de.cau.cs.kieler.scg/.classpath
index 47ce7cd075..2605d96cf9 100644
--- a/plugins/de.cau.cs.kieler.scg/.classpath
+++ b/plugins/de.cau.cs.kieler.scg/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.scg/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.scg/.settings/org.eclipse.jdt.core.prefs
index c9545f06a4..23fa13b170 100644
--- a/plugins/de.cau.cs.kieler.scg/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.scg/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.scg/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.scg/META-INF/MANIFEST.MF
index 11f1efa06e..e5ca4d9af1 100644
--- a/plugins/de.cau.cs.kieler.scg/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.scg/META-INF/MANIFEST.MF
@@ -18,7 +18,7 @@ Require-Bundle: org.eclipse.emf.ecore;visibility:=reexport,
  org.eclipse.core.resources;bundle-version="3.13.0",
  org.eclipse.core.runtime;bundle-version="3.14.0",
  org.eclipse.emf.ecore.xmi
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.scg,
  de.cau.cs.kieler.scg.codegen,
  de.cau.cs.kieler.scg.extensions,
diff --git a/plugins/de.cau.cs.kieler.scl.ide/.classpath b/plugins/de.cau.cs.kieler.scl.ide/.classpath
index 616862fb33..c707d81aa5 100644
--- a/plugins/de.cau.cs.kieler.scl.ide/.classpath
+++ b/plugins/de.cau.cs.kieler.scl.ide/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21">
 		<attributes>
 			<attribute name="module" value="true"/>
 		</attributes>
diff --git a/plugins/de.cau.cs.kieler.scl.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.scl.ide/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.scl.ide/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.scl.ide/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.scl.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.scl.ide/META-INF/MANIFEST.MF
index 62229f1bb5..e43b856faf 100644
--- a/plugins/de.cau.cs.kieler.scl.ide/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.scl.ide/META-INF/MANIFEST.MF
@@ -4,7 +4,7 @@ Bundle-Name: SCL IDE
 Bundle-SymbolicName: de.cau.cs.kieler.scl.ide
 Bundle-Version: 1.6.0.qualifier
 Automatic-Module-Name: de.cau.cs.kieler.scl.ide
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.antlr.runtime;bundle-version="[3.2.0,3.2.1)",
  org.eclipse.xtext.ide;bundle-version="2.12.0",
  de.cau.cs.kieler.scl,
diff --git a/plugins/de.cau.cs.kieler.scl.ui/.classpath b/plugins/de.cau.cs.kieler.scl.ui/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.scl.ui/.classpath
+++ b/plugins/de.cau.cs.kieler.scl.ui/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.scl.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.scl.ui/.settings/org.eclipse.jdt.core.prefs
index c9545f06a4..23fa13b170 100644
--- a/plugins/de.cau.cs.kieler.scl.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.scl.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.scl.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.scl.ui/META-INF/MANIFEST.MF
index 9fc5721623..94e85bde55 100644
--- a/plugins/de.cau.cs.kieler.scl.ui/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.scl.ui/META-INF/MANIFEST.MF
@@ -13,13 +13,14 @@ Require-Bundle: org.eclipse.xtext.ui;bundle-version="2.1.0",
  de.cau.cs.kieler.annotations,
  de.cau.cs.kieler.scg,
  de.cau.cs.kieler.klighd,
+ de.cau.cs.kieler.kicool,
  org.eclipse.xtext.xbase.lib;bundle-version="2.14.0",
  org.eclipse.xtend.lib;bundle-version="2.14.0";resolution:=optional,
  de.cau.cs.kieler.scl.ide,
  org.eclipse.elk.core;bundle-version="0.4.0",
  org.eclipse.ui,
  org.eclipse.ui.editors
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.scl.ui,
  de.cau.cs.kieler.scl.ui.contentassist,
  de.cau.cs.kieler.scl.ui.labeling,
diff --git a/plugins/de.cau.cs.kieler.scl/.classpath b/plugins/de.cau.cs.kieler.scl/.classpath
index fbe714a1a8..a131b939c8 100644
--- a/plugins/de.cau.cs.kieler.scl/.classpath
+++ b/plugins/de.cau.cs.kieler.scl/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="xtend-gen"/>
 	<classpathentry kind="src" path="src"/>
diff --git a/plugins/de.cau.cs.kieler.scl/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.scl/.settings/org.eclipse.jdt.core.prefs
index a58ebdcad3..1e0cb16bbc 100644
--- a/plugins/de.cau.cs.kieler.scl/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.scl/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
 org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.debug.lineNumber=generate
 org.eclipse.jdt.core.compiler.debug.localVariable=generate
 org.eclipse.jdt.core.compiler.debug.sourceFile=generate
@@ -12,4 +12,4 @@ org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.scl/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.scl/META-INF/MANIFEST.MF
index b5a41d1e5e..8b73023025 100644
--- a/plugins/de.cau.cs.kieler.scl/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.scl/META-INF/MANIFEST.MF
@@ -5,7 +5,7 @@ Bundle-Vendor: Kiel University
 Bundle-Version: 1.6.0.qualifier
 Bundle-SymbolicName: de.cau.cs.kieler.scl;singleton:=true
 Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.scl,
  de.cau.cs.kieler.scl.convert,
  de.cau.cs.kieler.scl.extensions,
diff --git a/plugins/de.cau.cs.kieler.simulation.ide/.classpath b/plugins/de.cau.cs.kieler.simulation.ide/.classpath
index 95cdcb1209..74e8d1a179 100644
--- a/plugins/de.cau.cs.kieler.simulation.ide/.classpath
+++ b/plugins/de.cau.cs.kieler.simulation.ide/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="src-gen"/>
diff --git a/plugins/de.cau.cs.kieler.simulation.ide/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.simulation.ide/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.simulation.ide/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.simulation.ide/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.simulation.ide/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.simulation.ide/META-INF/MANIFEST.MF
index fb932403a6..49afafd3f3 100644
--- a/plugins/de.cau.cs.kieler.simulation.ide/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.simulation.ide/META-INF/MANIFEST.MF
@@ -14,7 +14,7 @@ Require-Bundle: org.eclipse.xtend.lib,
  org.eclipse.elk.core,
  de.cau.cs.kieler.klighd.krendering.extensions;bundle-version="2.0.0",
  de.cau.cs.kieler.klighd.ide;bundle-version="2.0.0"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Export-Package: de.cau.cs.kieler.simulation.ide,
  de.cau.cs.kieler.simulation.ide.preferences,
  de.cau.cs.kieler.simulation.ide.processor,
diff --git a/plugins/de.cau.cs.kieler.simulation.ui/.classpath b/plugins/de.cau.cs.kieler.simulation.ui/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.simulation.ui/.classpath
+++ b/plugins/de.cau.cs.kieler.simulation.ui/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.simulation.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.simulation.ui/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.simulation.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.simulation.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.simulation.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.simulation.ui/META-INF/MANIFEST.MF
index 516984e4de..76d9b28cba 100644
--- a/plugins/de.cau.cs.kieler.simulation.ui/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.simulation.ui/META-INF/MANIFEST.MF
@@ -36,7 +36,7 @@ Require-Bundle: de.cau.cs.kieler.simulation;visibility:=reexport,
  org.eclipse.elk.core;bundle-version="0.4.0",
  de.cau.cs.kieler.simulation.ide,
  de.cau.cs.kieler.kicool.ide
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Export-Package: de.cau.cs.kieler.simulation.ui,
  de.cau.cs.kieler.simulation.ui.internal,
diff --git a/plugins/de.cau.cs.kieler.simulation/.classpath b/plugins/de.cau.cs.kieler.simulation/.classpath
index 6defd33d27..ac4ae67586 100644
--- a/plugins/de.cau.cs.kieler.simulation/.classpath
+++ b/plugins/de.cau.cs.kieler.simulation/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.simulation/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.simulation/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.simulation/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.simulation/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.simulation/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.simulation/META-INF/MANIFEST.MF
index da3c53e40b..42b42efc2b 100644
--- a/plugins/de.cau.cs.kieler.simulation/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.simulation/META-INF/MANIFEST.MF
@@ -21,7 +21,7 @@ Require-Bundle: org.eclipse.core.runtime,
  de.cau.cs.kieler.kexpressions,
  de.cau.cs.kieler.kicool,
  org.apache.commons.logging;bundle-version="1.1.1"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Export-Package: de.cau.cs.kieler.simulation,
  de.cau.cs.kieler.simulation.events,
diff --git a/plugins/de.cau.cs.kieler.verification.ui/.classpath b/plugins/de.cau.cs.kieler.verification.ui/.classpath
index 47ce7cd075..2605d96cf9 100644
--- a/plugins/de.cau.cs.kieler.verification.ui/.classpath
+++ b/plugins/de.cau.cs.kieler.verification.ui/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.verification.ui/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.verification.ui/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.verification.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.verification.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.verification.ui/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.verification.ui/META-INF/MANIFEST.MF
index 3ae35e08fc..d29c3e399e 100644
--- a/plugins/de.cau.cs.kieler.verification.ui/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.verification.ui/META-INF/MANIFEST.MF
@@ -23,6 +23,6 @@ Require-Bundle: org.eclipse.ui,
  de.cau.cs.kieler.klighd.ui,
  de.cau.cs.kieler.klighd.ui.view,
  de.cau.cs.kieler.simulation.ide
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Automatic-Module-Name: de.cau.cs.kieler.verification.ui
 Bundle-ActivationPolicy: lazy
diff --git a/plugins/de.cau.cs.kieler.verification/.classpath b/plugins/de.cau.cs.kieler.verification/.classpath
index 47ce7cd075..2605d96cf9 100644
--- a/plugins/de.cau.cs.kieler.verification/.classpath
+++ b/plugins/de.cau.cs.kieler.verification/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/plugins/de.cau.cs.kieler.verification/.settings/org.eclipse.jdt.core.prefs b/plugins/de.cau.cs.kieler.verification/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/plugins/de.cau.cs.kieler.verification/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/de.cau.cs.kieler.verification/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/plugins/de.cau.cs.kieler.verification/META-INF/MANIFEST.MF b/plugins/de.cau.cs.kieler.verification/META-INF/MANIFEST.MF
index 37c3aa4c46..c56b352738 100644
--- a/plugins/de.cau.cs.kieler.verification/META-INF/MANIFEST.MF
+++ b/plugins/de.cau.cs.kieler.verification/META-INF/MANIFEST.MF
@@ -5,7 +5,7 @@ Bundle-SymbolicName: de.cau.cs.kieler.verification;singleton:=true
 Bundle-Version: 1.6.0.qualifier
 Bundle-Activator: de.cau.cs.kieler.verification.VerificationPlugin
 Bundle-Vendor: Kiel University
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Require-Bundle: com.google.guava,
  com.google.inject,
diff --git a/test/de.cau.cs.kieler.cli.test/.classpath b/test/de.cau.cs.kieler.cli.test/.classpath
index bb6f7aed0a..97e95b27ca 100644
--- a/test/de.cau.cs.kieler.cli.test/.classpath
+++ b/test/de.cau.cs.kieler.cli.test/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src">
 		<attributes>
diff --git a/test/de.cau.cs.kieler.cli.test/.settings/org.eclipse.jdt.core.prefs b/test/de.cau.cs.kieler.cli.test/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/test/de.cau.cs.kieler.cli.test/.settings/org.eclipse.jdt.core.prefs
+++ b/test/de.cau.cs.kieler.cli.test/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/test/de.cau.cs.kieler.cli.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.cli.test/META-INF/MANIFEST.MF
index b67cc8247c..684d94d17e 100644
--- a/test/de.cau.cs.kieler.cli.test/META-INF/MANIFEST.MF
+++ b/test/de.cau.cs.kieler.cli.test/META-INF/MANIFEST.MF
@@ -4,7 +4,7 @@ Bundle-Name: CLI Tests
 Bundle-SymbolicName: de.cau.cs.kieler.cli.test
 Bundle-Version: 1.6.0.qualifier
 Bundle-Vendor: Kiel University
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.junit,
  com.google.guava,
  org.eclipse.core.runtime,
diff --git a/test/de.cau.cs.kieler.esterel.test/.classpath b/test/de.cau.cs.kieler.esterel.test/.classpath
index bb6f7aed0a..97e95b27ca 100644
--- a/test/de.cau.cs.kieler.esterel.test/.classpath
+++ b/test/de.cau.cs.kieler.esterel.test/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src">
 		<attributes>
diff --git a/test/de.cau.cs.kieler.esterel.test/.settings/org.eclipse.jdt.core.prefs b/test/de.cau.cs.kieler.esterel.test/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/test/de.cau.cs.kieler.esterel.test/.settings/org.eclipse.jdt.core.prefs
+++ b/test/de.cau.cs.kieler.esterel.test/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/test/de.cau.cs.kieler.esterel.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.esterel.test/META-INF/MANIFEST.MF
index f7da15d6f8..c6d9637df7 100644
--- a/test/de.cau.cs.kieler.esterel.test/META-INF/MANIFEST.MF
+++ b/test/de.cau.cs.kieler.esterel.test/META-INF/MANIFEST.MF
@@ -4,7 +4,7 @@ Bundle-Name: Esterel Tests
 Bundle-SymbolicName: de.cau.cs.kieler.esterel.test;singleton:=true
 Bundle-Version: 1.6.0.qualifier
 Bundle-Vendor: Kiel University
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-Activator: de.cau.cs.kieler.esterel.test.EsterelTestActivator
 Require-Bundle: org.junit;bundle-version="4.12.0",
  org.eclipse.osgi;bundle-version="3.11.3",
diff --git a/test/de.cau.cs.kieler.kexpressions.text.test/.classpath b/test/de.cau.cs.kieler.kexpressions.text.test/.classpath
index bb6f7aed0a..97e95b27ca 100644
--- a/test/de.cau.cs.kieler.kexpressions.text.test/.classpath
+++ b/test/de.cau.cs.kieler.kexpressions.text.test/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src">
 		<attributes>
diff --git a/test/de.cau.cs.kieler.kexpressions.text.test/.settings/org.eclipse.jdt.core.prefs b/test/de.cau.cs.kieler.kexpressions.text.test/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/test/de.cau.cs.kieler.kexpressions.text.test/.settings/org.eclipse.jdt.core.prefs
+++ b/test/de.cau.cs.kieler.kexpressions.text.test/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/test/de.cau.cs.kieler.kexpressions.text.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.kexpressions.text.test/META-INF/MANIFEST.MF
index be4e07bf77..b7e696dcb1 100644
--- a/test/de.cau.cs.kieler.kexpressions.text.test/META-INF/MANIFEST.MF
+++ b/test/de.cau.cs.kieler.kexpressions.text.test/META-INF/MANIFEST.MF
@@ -4,7 +4,7 @@ Bundle-Name: KExpressions KEXT Test
 Bundle-SymbolicName: de.cau.cs.kieler.kexpressions.text.test
 Bundle-Version: 1.6.0.qualifier
 Bundle-Vendor: Kiel University
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: com.google.inject;bundle-version="3.0.0",
  org.junit;bundle-version="4.8.2",
  org.eclipse.xtext,
diff --git a/test/de.cau.cs.kieler.lustre.test/.classpath b/test/de.cau.cs.kieler.lustre.test/.classpath
index bb6f7aed0a..97e95b27ca 100644
--- a/test/de.cau.cs.kieler.lustre.test/.classpath
+++ b/test/de.cau.cs.kieler.lustre.test/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src">
 		<attributes>
diff --git a/test/de.cau.cs.kieler.lustre.test/.settings/org.eclipse.jdt.core.prefs b/test/de.cau.cs.kieler.lustre.test/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/test/de.cau.cs.kieler.lustre.test/.settings/org.eclipse.jdt.core.prefs
+++ b/test/de.cau.cs.kieler.lustre.test/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/test/de.cau.cs.kieler.lustre.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.lustre.test/META-INF/MANIFEST.MF
index 9a25264496..7e88889720 100644
--- a/test/de.cau.cs.kieler.lustre.test/META-INF/MANIFEST.MF
+++ b/test/de.cau.cs.kieler.lustre.test/META-INF/MANIFEST.MF
@@ -4,7 +4,7 @@ Bundle-Name: Lustre Tests
 Bundle-SymbolicName: de.cau.cs.kieler.lustre.test;singleton:=true
 Bundle-Version: 1.6.0.qualifier
 Bundle-Vendor: Kiel University
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.junit;bundle-version="4.12.0",
  org.eclipse.osgi;bundle-version="3.11.3",
  com.google.guava,
diff --git a/test/de.cau.cs.kieler.sccharts.test.simulation/.classpath b/test/de.cau.cs.kieler.sccharts.test.simulation/.classpath
index 47ce7cd075..2605d96cf9 100644
--- a/test/de.cau.cs.kieler.sccharts.test.simulation/.classpath
+++ b/test/de.cau.cs.kieler.sccharts.test.simulation/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/test/de.cau.cs.kieler.sccharts.test.simulation/.settings/org.eclipse.jdt.core.prefs b/test/de.cau.cs.kieler.sccharts.test.simulation/.settings/org.eclipse.jdt.core.prefs
index c9545f06a4..23fa13b170 100644
--- a/test/de.cau.cs.kieler.sccharts.test.simulation/.settings/org.eclipse.jdt.core.prefs
+++ b/test/de.cau.cs.kieler.sccharts.test.simulation/.settings/org.eclipse.jdt.core.prefs
@@ -1,9 +1,9 @@
 eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/test/de.cau.cs.kieler.sccharts.test.simulation/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.sccharts.test.simulation/META-INF/MANIFEST.MF
index fe2c719294..25f66cee93 100644
--- a/test/de.cau.cs.kieler.sccharts.test.simulation/META-INF/MANIFEST.MF
+++ b/test/de.cau.cs.kieler.sccharts.test.simulation/META-INF/MANIFEST.MF
@@ -22,7 +22,7 @@ Require-Bundle: org.eclipse.ui,
  de.cau.cs.kieler.sccharts.ui,
  org.eclipse.xtend.lib;bundle-version="2.12.0",
  org.eclipse.emf.compare;bundle-version="3.5.2"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Export-Package: de.cau.cs.kieler.sccharts.test.simulation
 Automatic-Module-Name: de.cau.cs.kieler.sccharts.test.simulation
diff --git a/test/de.cau.cs.kieler.sccharts.test/.classpath b/test/de.cau.cs.kieler.sccharts.test/.classpath
index bb6f7aed0a..97e95b27ca 100644
--- a/test/de.cau.cs.kieler.sccharts.test/.classpath
+++ b/test/de.cau.cs.kieler.sccharts.test/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src">
 		<attributes>
diff --git a/test/de.cau.cs.kieler.sccharts.test/.settings/org.eclipse.jdt.core.prefs b/test/de.cau.cs.kieler.sccharts.test/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/test/de.cau.cs.kieler.sccharts.test/.settings/org.eclipse.jdt.core.prefs
+++ b/test/de.cau.cs.kieler.sccharts.test/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/test/de.cau.cs.kieler.sccharts.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.sccharts.test/META-INF/MANIFEST.MF
index 791ed30b11..8c37341ba1 100644
--- a/test/de.cau.cs.kieler.sccharts.test/META-INF/MANIFEST.MF
+++ b/test/de.cau.cs.kieler.sccharts.test/META-INF/MANIFEST.MF
@@ -22,7 +22,7 @@ Require-Bundle: org.eclipse.ui,
  de.cau.cs.kieler.sccharts.ui,
  org.eclipse.xtend.lib;bundle-version="2.12.0",
  org.eclipse.emf.compare;bundle-version="3.5.2"
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Export-Package: de.cau.cs.kieler.sccharts.test,
  de.cau.cs.kieler.sccharts.test.structure,
diff --git a/test/de.cau.cs.kieler.test.common/.classpath b/test/de.cau.cs.kieler.test.common/.classpath
index 47ce7cd075..2605d96cf9 100644
--- a/test/de.cau.cs.kieler.test.common/.classpath
+++ b/test/de.cau.cs.kieler.test.common/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
diff --git a/test/de.cau.cs.kieler.test.common/.settings/org.eclipse.jdt.core.prefs b/test/de.cau.cs.kieler.test.common/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/test/de.cau.cs.kieler.test.common/.settings/org.eclipse.jdt.core.prefs
+++ b/test/de.cau.cs.kieler.test.common/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/test/de.cau.cs.kieler.test.common/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.test.common/META-INF/MANIFEST.MF
index 84010ba802..ec2bdcd5eb 100644
--- a/test/de.cau.cs.kieler.test.common/META-INF/MANIFEST.MF
+++ b/test/de.cau.cs.kieler.test.common/META-INF/MANIFEST.MF
@@ -4,7 +4,7 @@ Bundle-Name: Common Semantics Test Components
 Bundle-SymbolicName: de.cau.cs.kieler.test.common
 Bundle-Version: 1.6.0.qualifier
 Bundle-Vendor: Kiel University
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Require-Bundle: org.junit,
  com.google.guava;bundle-version="21.0.0",
  org.eclipse.core.runtime,
diff --git a/test/de.cau.cs.kieler.verification.test/.classpath b/test/de.cau.cs.kieler.verification.test/.classpath
index bb6f7aed0a..97e95b27ca 100644
--- a/test/de.cau.cs.kieler.verification.test/.classpath
+++ b/test/de.cau.cs.kieler.verification.test/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-21"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src">
 		<attributes>
diff --git a/test/de.cau.cs.kieler.verification.test/.settings/org.eclipse.jdt.core.prefs b/test/de.cau.cs.kieler.verification.test/.settings/org.eclipse.jdt.core.prefs
index 7adc0fb9a0..3a79233b13 100644
--- a/test/de.cau.cs.kieler.verification.test/.settings/org.eclipse.jdt.core.prefs
+++ b/test/de.cau.cs.kieler.verification.test/.settings/org.eclipse.jdt.core.prefs
@@ -1,10 +1,10 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
-org.eclipse.jdt.core.compiler.compliance=11
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
+org.eclipse.jdt.core.compiler.compliance=21
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
 org.eclipse.jdt.core.compiler.release=enabled
-org.eclipse.jdt.core.compiler.source=11
+org.eclipse.jdt.core.compiler.source=21
diff --git a/test/de.cau.cs.kieler.verification.test/META-INF/MANIFEST.MF b/test/de.cau.cs.kieler.verification.test/META-INF/MANIFEST.MF
index 97bad8a99b..b84fcedb5d 100644
--- a/test/de.cau.cs.kieler.verification.test/META-INF/MANIFEST.MF
+++ b/test/de.cau.cs.kieler.verification.test/META-INF/MANIFEST.MF
@@ -18,7 +18,7 @@ Require-Bundle: org.eclipse.core.runtime,
  de.cau.cs.kieler.simulation,
  org.eclipse.xtend.lib;bundle-version="2.12.0",
  de.cau.cs.kieler.verification
-Bundle-RequiredExecutionEnvironment: JavaSE-11
+Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-ActivationPolicy: lazy
 Automatic-Module-Name: de.cau.cs.kieler.verification.test