[platform-ui-dev] RC5 build submission

[Paul Webster <Paul_Webster@xxxxxxxxxx>]

The map file has been updated for I20060519-0010.
 The following fixes are included:
+ Bug 136724. [CommonNavigator] Compile error decorations remain until
the element is selected
+ Bug 137091. [KeyBindings] Toggle Mark Occurrences shortcut is broken
+ Bug 141594. markerSupport is missing it's since 3.2 tag
+ Bug 141612. IWorkbenchWidget has incorrect copyright info
+ Bug 141637. [Mac] EE in manifest of carbon UI fragment needs to be set
+ Bug 142264. [Workbench] After closing all perspectives, Project Explorer
will never show content


The following projects have changed:
+ org.eclipse.ui.carbon
+ org.eclipse.ui.ide
+ org.eclipse.ui.navigator
+ org.eclipse.ui.workbench