commit 3a61c51e91a4884e22bf9c4c1dbb8cfd1e62e090
author Ed Merks <ed.merks@gmail.com> Mon Mar 14 13:49:33 2022 +0100
committer Ed Merks <ed.merks@gmail.com> Mon Mar 14 13:49:33 2022 +0100
tree 5fa71a70d8c67251a0c7fd88a3dc16ec388e2f7f
parent b1e03db57c6fbc847854f1f5fb904e1548b375d0

[Releng] Use Eclipse 4.23 for the JRE generation

releng/org.eclipse.justj.releng/build-jre.sh

diff --git a/releng/org.eclipse.justj.releng/build-jre.sh b/releng/org.eclipse.justj.releng/build-jre.sh
index d7f6655..af2a798 100755
--- a/releng/org.eclipse.justj.releng/build-jre.sh
+++ b/releng/org.eclipse.justj.releng/build-jre.sh
@@ -129,7 +129,7 @@
 
 # Download an os-specific version of Eclipse.
 #
-eclipse_url="https://download.eclipse.org/eclipse/downloads/drops4/R-4.21-202109060500/eclipse-SDK-4.21$eclipse_suffix"
+eclipse_url="https://download.eclipse.org/eclipse/downloads/drops4/R-4.23-202203080310/eclipse-SDK-4.23$eclipse_suffix"
 eclipse_file=${eclipse_url##*/}
 
 if [ ! -f $eclipse_file ]; then