public void addPropertyChangeListener(String name, PropertyChangeListener pcl) {
changeSupport.addPropertyChangeListener(name, pcl);
}
public void removePropertyChangeListener(String name, PropertyChangeListener pcl) {
changeSupport.removePropertyChangeListener(name, pcl);
}
protected final void setDesktopProperty(String name, Object newValue) {
Object oldValue = getDesktopProperty(name);
desktopProperties.put(name, newValue);
changeSupport.firePropertyChange(name, oldValue, newValue);
}