Eclipse Platform project repository (eclipse.platform)