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