diff --git a/Jenkinsfile b/Jenkinsfile index 09a85bcc982..2103caff632 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -152,7 +152,7 @@ def isTriggeredByUpstream() { def eclipseVersion() { def targetPlatform = selectedTargetPlatform() if (targetPlatform == 'latest') { - return "4.34" + return "4.35" } 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 f6609257987..ee201deffdb 100644 --- a/xtext-latest.target +++ b/xtext-latest.target @@ -26,7 +26,7 @@ - +