[platform-ui-dev] Platform UI built submission for I20080509-2000

[Eric Moffatt <emoffatt@xxxxxxxxxx>]

The map file has been updated to address:

The map file has been updated for the
following Bug changes:
+ Bug 152473. [TabbedProperties] Registry
does not support unkown categories (FIXED)
+ Bug 231103. [Markers] Remove marker
preference page (FIXED)
+ Bug 231151. [Markers] markers view
"Preferences..." should be "Preferences" (FIXED)
+ Bug 231175. [Workbench] WorkbenchLabelProvider
leaks (FIXED)
+ Bug 231182. ProgressManagerUtil.getModalShellExcluding()
should work for stacked dialogs (FIXED)
+ Bug 231307. [Themes] Colors and Fonts
preference page: Tooltip blocks doubleclick (FIXED)

The following projects have changed:
org.eclipse.jface
org.eclipse.ui.workbench
org.eclipse.jface.tests.databinding
org.eclipse.core.commands
org.eclipse.ui.navigator
org.eclipse.ui.tests.performance
org.eclipse.ui.tests.views.properties.tabbed
org.eclipse.ui.tests.navigator
org.eclipse.ui.ide
org.eclipse.ui.views
org.eclipse.ui.navigator.resources
org.eclipse.ui.workbench.compatibility
org.eclipse.ui.tests
org.eclipse.jface.databinding