Downloading: http://www.eclipse.org/downloads/download.php?file=/eclipse/downloads/drops4/R-4.7.2-201711300510/ecjsrc-4.7.2.jar

If your download does not begin automatically click here.