Downloading: https://www.eclipse.org/downloads/download.php?file=/eclipse/downloads/drops4/R-4.25-202208311800/org.eclipse.platform-4.25.zip

If your download does not begin automatically click here.