Moved to https://github.com/eclipse-platform/eclipse.platform.ui
The content of this repo has been moved to
https://github.com/eclipse-platform/eclipse.platform.ui by merging both
master branches together.

This repository is therefore obsolete for any new developments, it is
still available to document the developments which went into older
releases via the maintenance branches.