From 1f69744b3f1e084bfd47f172e4a634d004bc8272 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 30 Jun 2023 16:54:38 +0200
Subject: [PATCH] Update minimum Java version to Java 11
---
de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF | 2 +-
de.bmotionstudio.rodin/META-INF/MANIFEST.MF | 2 +-
de.prob.core.tests/META-INF/MANIFEST.MF | 2 +-
de.prob.core/META-INF/MANIFEST.MF | 2 +-
de.prob.eventb.disprover.core/META-INF/MANIFEST.MF | 2 +-
de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF | 2 +-
de.prob.plugin/META-INF/MANIFEST.MF | 2 +-
de.prob.symbolic/META-INF/MANIFEST.MF | 2 +-
de.prob.ui/META-INF/MANIFEST.MF | 2 +-
tycho_build.gradle | 3 +--
10 files changed, 10 insertions(+), 11 deletions(-)
diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
index 3cc4e62a..13f2dfd6 100644
--- a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
+++ b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
@@ -19,7 +19,7 @@ Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)"
Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-RequiredExecutionEnvironment: JavaSE-11
Eclipse-RegisterBuddy: de.prob.core
Bundle-Vendor: HHU Düsseldorf STUPS Group
Export-Package: de.bmotionstudio.gef.editor;
diff --git a/de.bmotionstudio.rodin/META-INF/MANIFEST.MF b/de.bmotionstudio.rodin/META-INF/MANIFEST.MF
index ccf6936b..40f672e6 100644
--- a/de.bmotionstudio.rodin/META-INF/MANIFEST.MF
+++ b/de.bmotionstudio.rodin/META-INF/MANIFEST.MF
@@ -4,6 +4,6 @@ Bundle-Name: BMotion Studio Rodin Integration
Bundle-SymbolicName: de.bmotionstudio.rodin;singleton:=true
Bundle-Version: 1.3.0.qualifier
Fragment-Host: de.bmotionstudio.gef.editor;bundle-version="[5.6.0,5.7.0)"
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-Vendor: HHU Düsseldorf STUPS Group
Require-Bundle: org.eclipse.ui.navigator;bundle-version="3.5.0"
diff --git a/de.prob.core.tests/META-INF/MANIFEST.MF b/de.prob.core.tests/META-INF/MANIFEST.MF
index 9a89c904..d244c60c 100644
--- a/de.prob.core.tests/META-INF/MANIFEST.MF
+++ b/de.prob.core.tests/META-INF/MANIFEST.MF
@@ -13,4 +13,4 @@ Require-Bundle: org.eclipse.ui,
org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
de.prob.core;bundle-version="[9.5.0,9.6.0)"
Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-RequiredExecutionEnvironment: JavaSE-11
diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF
index 7d0f730f..3ab27fbd 100644
--- a/de.prob.core/META-INF/MANIFEST.MF
+++ b/de.prob.core/META-INF/MANIFEST.MF
@@ -74,7 +74,7 @@ Export-Package: de.be4.classicalb.core.parser,
de.prob.unicode.node
Bundle-Activator: de.prob.core.internal.Activator
Eclipse-BuddyPolicy: registered
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ClassPath: .,
lib/dependencies/sablecc-runtime-3.4.1.jar,
lib/dependencies/unicode-2.12.4.jar,
diff --git a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
index d3d3eb72..074bca98 100644
--- a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
@@ -11,7 +11,7 @@ Require-Bundle: org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy
Bundle-Localization: plugin
Export-Package: de.prob.eventb.disprover.core,
diff --git a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
index 9204c5f3..98d31f52 100644
--- a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
@@ -15,7 +15,7 @@ Require-Bundle: org.eclipse.core.runtime,
org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
org.eventb.core;bundle-version="[3.0.0,4.0.0)",
de.prob.ui;bundle-version="[7.5.0,7.6.0)"
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy
Bundle-Localization: plugin
Bundle-Activator: de.prob.eventb.disprover.ui.DisproverActivator
diff --git a/de.prob.plugin/META-INF/MANIFEST.MF b/de.prob.plugin/META-INF/MANIFEST.MF
index aaf1c88e..2806e06b 100644
--- a/de.prob.plugin/META-INF/MANIFEST.MF
+++ b/de.prob.plugin/META-INF/MANIFEST.MF
@@ -4,5 +4,5 @@ Bundle-Name: ProB Rodin2 UI Bindings
Bundle-SymbolicName: de.prob.plugin;singleton:=true
Bundle-Version: 2.4.0.qualifier
Fragment-Host: de.prob.ui;bundle-version="[7.5.0,7.6.0)"
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-Vendor: HHU Düsseldorf STUPS Group
diff --git a/de.prob.symbolic/META-INF/MANIFEST.MF b/de.prob.symbolic/META-INF/MANIFEST.MF
index 3ae79209..323933e1 100644
--- a/de.prob.symbolic/META-INF/MANIFEST.MF
+++ b/de.prob.symbolic/META-INF/MANIFEST.MF
@@ -12,5 +12,5 @@ Require-Bundle: org.eclipse.core.runtime,
org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
org.eventb.core;bundle-version="[3.0.0,4.0.0)"
Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-Vendor: HHU Düsseldorf STUPS Group
diff --git a/de.prob.ui/META-INF/MANIFEST.MF b/de.prob.ui/META-INF/MANIFEST.MF
index 1f466fd0..50274b72 100644
--- a/de.prob.ui/META-INF/MANIFEST.MF
+++ b/de.prob.ui/META-INF/MANIFEST.MF
@@ -16,5 +16,5 @@ Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
Bundle-ActivationPolicy: lazy
Bundle-Vendor: HHU Düsseldorf STUPS Group
Bundle-Activator: de.prob.ui.ProbUiPlugin
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-RequiredExecutionEnvironment: JavaSE-11
Export-Package: de.prob.ui
diff --git a/tycho_build.gradle b/tycho_build.gradle
index 6f099e5f..4e76b2d7 100644
--- a/tycho_build.gradle
+++ b/tycho_build.gradle
@@ -544,8 +544,7 @@ def artifact(artifactId,versionNumber) {"""
<artifactId>tycho-compiler-plugin</artifactId>
<version>\${tycho-version}</version>
<configuration>
- <source>1.8</source>
- <target>1.8</target>
+ <release>11</release>
</configuration>
</plugin>
</plugins>
--
GitLab