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.
