[platform-ui-dev] Platform UI build submission for I20080605-1800

["Paul Webster" <pwebster@xxxxxxxxxxxxxxxxxxx>]

Platform UI is contributing the following bug fix:
Bug 235613. [DetachedView] Widget disposed exception when disposing
ShellPool on shutdown (FIXED)

The rest are doc/javadoc updates.

The map file has been updated for the following Bug changes:
+ Bug 228956. [RCP] [Doc] Document expression-based actitivies (FIXED)
+ Bug 235343. [Doc] Update services javadoc with the correct information (NEW)
+ Bug 235613. [DetachedView] Widget disposed exception when disposing
ShellPool on shutdown (FIXED)
+ Bug 235819. [Services] [Doc] Small blurb for
org.eclipse.ui.ISaveablesLifecycleListener (FIXED)
+ Bug 235845. [Services] [Doc] Add documentation for
org.eclipse.ui.services (ASSIGNED)

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


-- 
Paul Webster
Hi floor. Make me a sammich! - GIR