Downloads wie üblich unter https://www.eclipse.org/downloads/eclipse-packages/. Wer der Updater laufen lässt, bekommt die Neuerungen automatisch eingespielt. Wer Java 9 nutzt, wird sich über Bugfixes freuen. Siehe auch https://www.eclipse.org/eclipse/news/4.7.2/.
