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

If your download does not begin automatically click here.