Eclipse Web Tools Platform Project project repository (webtools.jsdt.core)