diff --git a/Jenkinsfile b/Jenkinsfile
index 2e7615e841a..1d22baca4d1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,7 +6,7 @@ pipeline {
}
parameters {
- choice(name: 'TARGET_PLATFORM', choices: ['r202203', 'r202206', 'r202209', 'r202212', 'r202303', 'r202306', 'r202309', 'r202312', 'latest'], description: 'Which Target Platform should be used?')
+ choice(name: 'TARGET_PLATFORM', choices: ['r202203', 'r202206', 'r202209', 'r202212', 'r202303', 'r202306', 'r202309', 'r202312', 'r202403', 'latest'], description: 'Which Target Platform should be used?')
// see https://wiki.eclipse.org/Jenkins#JDK
choice(name: 'JDK_VERSION', choices: [ '11', '17' ], description: 'Which JDK version should be used?')
}
@@ -148,7 +148,7 @@ def isTriggeredByUpstream() {
def eclipseVersion() {
def targetPlatform = selectedTargetPlatform()
if (targetPlatform == 'latest') {
- return "4.31"
+ return "4.32"
} else {
def baseDate = java.time.LocalDate.parse("2018-06-01") // 4.8 Photon
def df = java.time.format.DateTimeFormatter.ofPattern("yyyyMMdd")
diff --git a/xtext-latest.target b/xtext-latest.target
index 6655860ae51..3a77cba6970 100644
--- a/xtext-latest.target
+++ b/xtext-latest.target
@@ -26,17 +26,12 @@
-
+
-
-
-
-
-
diff --git a/xtext-r202403.target b/xtext-r202403.target
new file mode 100644
index 00000000000..ceeba5486ea
--- /dev/null
+++ b/xtext-r202403.target
@@ -0,0 +1,79 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+