[platform-ui-dev] Running latest in HEAD

[Nick Edgar <Nick_Edgar@xxxxxxxxxx>]

There is an API change in our HEAD stream that is breaking Debug UI.
To work around it:
- load org.eclipse.debug.ui from CVS
- change the following in LaunchAsAction.fillMenu:
        if (!activityManager.isMatch(ext.getId(), disabledActivityIds)) {
to:
        if (true) {

Nick