From 96f2fe8ae59ec0da597131604e689558d006ca1b Mon Sep 17 00:00:00 2001 From: Niklas Rentz Date: Tue, 22 Apr 2025 08:23:22 +0200 Subject: [PATCH 1/6] update LS and semantics+klighd setup to Java-21 in preparation to next KLighD release --- build/pom.xml | 14 +++++++------- .../de.cau.cs.kieler.language.server/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.language.server/pom.xml | 6 +++--- ...eServer with KLighD and ELK in Workspace.launch | 2 +- .../LanguageServer with KLighD in Workspace.launch | 2 +- .../run-configurations/LanguageServer.launch | 2 +- oomph/kieler-semantics-developers.setup | 14 ++++++-------- .../run-configurations/KIELER.launch | 2 +- .../de.cau.cs.kieler.scl.ui/META-INF/MANIFEST.MF | 1 + 10 files changed, 25 insertions(+), 26 deletions(-) diff --git a/build/pom.xml b/build/pom.xml index a7c5ec230f..d14f07c087 100644 --- a/build/pom.xml +++ b/build/pom.xml @@ -10,23 +10,23 @@ - 0.9.1 + 0.10.0 3.0.2.v20240507 - 0.23.0 + 0.23.1 0.51.0.v20240410 - 2.36.0 - 2.36.0 + 2.37.0 + 2.37.0 2.7.5 true - 11 - 11 - 11 + 21 + 21 + 21  (Sources) 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 @@ - + 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 @@ org.eclipse.platform org.eclipse.core.runtime - 3.31.100 + 3.32.0 org.eclipse.platform org.eclipse.equinox.common - 3.19.100 + 3.19.200 @@ -160,7 +160,7 @@ org.eclipse.jdt org.eclipse.jdt.core - 3.39.0 + 3.40.0 0.10.0 - 3.0.2.v20240507 + 3.1.0.v20250428 0.23.1 - 0.51.0.v20240410 + 0.52.0.v20250429 2.37.0 From 4272f304b8724a6272207aa6f44052eab7bb772e Mon Sep 17 00:00:00 2001 From: Niklas Rentz Date: Wed, 30 Apr 2025 11:30:04 +0200 Subject: [PATCH 3/6] Move to Java-21 BREEs and Tycho 4 build for new ELK and KLighD releases, fixes Maven build of LS again --- ...de.cau.cs.kieler.semantics.targetplatform.target | 13 +++++-------- build/pom.xml | 2 +- ...geServer with KLighD and ELK in Workspace.launch | 2 +- .../LanguageServer with KLighD in Workspace.launch | 2 +- .../run-configurations/LanguageServer.launch | 2 +- oomph/kieler-semantics-developers.setup | 6 +++--- plugins/de.cau.cs.kieler.annotations.ide/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.annotations.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.annotations/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.c.sccharts/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../de.cau.cs.kieler.core.perspectives/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.core.product/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.core/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- plugins/de.cau.cs.kieler.core/META-INF/MANIFEST.MF | 2 +- .../de.cau.cs.kieler.esterel.compiler/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.esterel.ide/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.esterel.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.esterel/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.esterel/META-INF/MANIFEST.MF | 2 +- .../de.cau.cs.kieler.kexpressions.ide/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kexpressions.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kexpressions/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kicool.ide/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kicool.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.kicool.ui/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kicool/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.kicool/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kivis.ide/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.kivis.ide/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kivis.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.kivis.ui/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.kivis/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- plugins/de.cau.cs.kieler.kivis/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.lustre.compiler/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.lustre.ide/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.lustre.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.lustre.ui/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.lustre/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.lustre/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.overlord/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.overlord/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.sccharts.ide/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../de.cau.cs.kieler.sccharts.legacy.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.sccharts.legacy/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.sccharts.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.sccharts/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.scg.klighd/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.scg/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- plugins/de.cau.cs.kieler.scg/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.scl.ide/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.scl.ide/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.scl.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../de.cau.cs.kieler.scl.ui/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.scl/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- plugins/de.cau.cs.kieler.scl/META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.simulation.ide/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.simulation.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.simulation/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.verification.ui/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- plugins/de.cau.cs.kieler.verification/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.cli.test/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- test/de.cau.cs.kieler.cli.test/META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.esterel.test/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.lustre.test/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- .../.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.sccharts.test/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.test.common/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- test/de.cau.cs.kieler.verification.test/.classpath | 2 +- .../.settings/org.eclipse.jdt.core.prefs | 6 +++--- .../META-INF/MANIFEST.MF | 2 +- 150 files changed, 252 insertions(+), 255 deletions(-) diff --git a/build/de.cau.cs.kieler.semantics.targetplatform/de.cau.cs.kieler.semantics.targetplatform.target b/build/de.cau.cs.kieler.semantics.targetplatform/de.cau.cs.kieler.semantics.targetplatform.target index 49b2670b76..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 @@ - + + + @@ -21,12 +23,7 @@ - - - - - - + @@ -46,7 +43,7 @@ - + diff --git a/build/pom.xml b/build/pom.xml index c508a7da8b..d08e5fde32 100644 --- a/build/pom.xml +++ b/build/pom.xml @@ -20,7 +20,7 @@ 2.37.0 - 2.7.5 + 4.0.12 true 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 4df5456fc7..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 @@ - + 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 a99781144d..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 @@ - + 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 e18ee32218..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 @@ - + diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup index ead807179a..ef9a8b941b 100644 --- a/oomph/kieler-semantics-developers.setup +++ b/oomph/kieler-semantics-developers.setup @@ -525,11 +525,11 @@ + url="https://download.eclipse.org/elk/updates/releases/0.10.0/"/> + url="https://kieler.github.io/KLighD/v3.1.0/"/> + url="https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release_pragmatics_2025-04/"/> 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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.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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 0e41ad981d..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 @@ -20,7 +20,7 @@ Require-Bundle: org.eclipse.xtext.ui;bundle-version="2.1.0", 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 @@ - + 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 From cbcef44f5fbb948c73da3a5660779c12c627c0cc Mon Sep 17 00:00:00 2001 From: Max Kasperowski Date: Thu, 8 May 2025 10:56:54 +0200 Subject: [PATCH 4/6] update elk stream in oomph setup --- oomph/kieler-semantics-developers.setup | 26 ++++++++----------------- 1 file changed, 8 insertions(+), 18 deletions(-) diff --git a/oomph/kieler-semantics-developers.setup b/oomph/kieler-semantics-developers.setup index ef9a8b941b..f48dd50638 100644 --- a/oomph/kieler-semantics-developers.setup +++ b/oomph/kieler-semantics-developers.setup @@ -2600,7 +2600,7 @@ + url="https://kieler.github.io/KLighD/v3.1.0/"/> @@ -2892,8 +2892,7 @@ + name="org.eclipse.xtext.sdk.feature.group"/> - - - + url="https://download.eclipse.org/releases/2024-12"/> + url="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/4.34.0"/> + url="https://kieler.github.io/KLighD/v3.1.0/"/> + url="https://download.eclipse.org/elk/updates/releases/0.10.0/"/> @@ -2939,14 +2932,11 @@ + name="org.eclipse.xtext.sdk.feature.group"/> - + url="https://download.eclipse.org/releases/2024-12"/> Date: Thu, 8 May 2025 16:30:23 +0200 Subject: [PATCH 5/6] fixed feature build for new Tycho version --- features/de.cau.cs.kieler.esterel.feature/pom.xml | 8 ++++---- features/de.cau.cs.kieler.framework.feature/pom.xml | 8 ++++---- features/de.cau.cs.kieler.sccharts.feature/pom.xml | 8 ++++---- 3 files changed, 12 insertions(+), 12 deletions(-) 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 @@ - org.eclipse.tycho.extras - tycho-source-feature-plugin + org.eclipse.tycho + tycho-source-plugin ${tycho-version} - source-feature + feature-source package - source-feature + feature-source 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 @@ - org.eclipse.tycho.extras - tycho-source-feature-plugin + org.eclipse.tycho + tycho-source-plugin ${tycho-version} - source-feature + feature-source package - source-feature + feature-source ${sourceFeatureLabelSuffix} 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 @@ - org.eclipse.tycho.extras - tycho-source-feature-plugin + org.eclipse.tycho + tycho-source-plugin ${tycho-version} - source-feature + feature-source package - source-feature + feature-source ${sourceFeatureLabelSuffix} From 60949b64b485234b890ff61fef96f5cc7237f5de Mon Sep 17 00:00:00 2001 From: Niklas Rentz <47597619+NiklasRentzCAU@users.noreply.github.com> Date: Wed, 21 May 2025 16:14:55 +0200 Subject: [PATCH 6/6] Update ci.yml to Java 21 --- .github/workflows/ci.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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