Update minimum Java version to Java 11

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;

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"

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

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,

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,

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

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

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

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

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>