Eclipse Web Tools Platform Project project repository (webtools.sourceediting)