[eclipse-dev] Update of the Java 7 p2 repos

[Olivier Thomann <Olivier_Thomann@xxxxxxxxxx>]

Hi,

The Java 7 p2 repositories have been
refreshed. If you already installed the previous feature patch, you should
uninstall it first and then install the new version.
See http://wiki.eclipse.org/JDT/Eclipse_Java_7_Support_%28BETA%29
for details.

Please report all issues against the
appropriate component (JDT/Core, JDT/UI, JDT/Debug, PDE/API Tooling).

Thanks,

Olivier