Eclipse Platform project repository (eclipse.platform.ui)