Fix/progress service run#4203

fedejeanne wants to merge 2 commits into

eclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

fedejeanne:fix/progress-service-runfedejeanne/eclipse.platform.ui:fix/progress-service-runCopy head branch name to clipboard