Name: apR10133 Date: 03/12/2003
The current implementation of the desktop pane's UIs assumes that if somebody
changes the desktop manager when the UI is already installed it will not take
effect on the desktop manager used by the UI. We need fire the PCE at the
JDesktopPane.setDesktopManager() and reset the desktop manager value at the
UI classes based upon this event.