diff --git a/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF b/de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF
index 3cc4e62a84e4b360d7ab4cc1acd618707eabf388..13f2dfd6507661107d8c7e731302071ee642d12d 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 ccf6936b8a7a1b0e5adf3cf22745edf14883e7e1..40f672e63c4840a78c40d4d8954f952474b2b4df 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 9a89c904c20e6965c7a8f5cfb81470c80f75eeb6..d244c60cefa3c32c6426613f35e8f204fe8f91b3 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 7d0f730f9b937ad8ed9ae753680717ee1257305b..3ab27fbdd0279435c710fa2154d483616851c4c2 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 d3d3eb72f608ca6f688bd7ff627579e35c9ef2b5..074bca981aba6b68bae897a60f12b6b0367410ad 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 9204c5f3e0e9b97313577abbeb14a2ac7095085f..98d31f529bc8b087d2d64d11f31b2d241f21d2e6 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 aaf1c88ed2b1788b972f60903e2bbacbe6cd540b..2806e06b0fad64ce2bf8dffb00ee977a33398566 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 3ae79209ab97661cb78a57b0843bbc1c346c06e3..323933e1d81428ae1ac27fe36f3df029712e54ad 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 1f466fd061c4e65c518ec6ef9c902a4b8ad64c15..50274b72a5ef88d16553c5f8e1d486a062306bff 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 6f099e5fdb8f5665a8282ab3730bb38735bbc5c2..4e76b2d733a4d3e30272aee26096a63945b32637 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>