PropertyChangeEvent event= new PropertyChangeEvent(this, name, oldValue, newValue);
final PropertyChangeEvent event= new PropertyChangeEvent(this, name, oldValue, newValue);
	public void firePropertyChangeEvent(String name, Object oldValue, Object newValue) {		if (!fSilent) {			PropertyChangeEvent event= new PropertyChangeEvent(this, name, oldValue, newValue);			Object[] listeners= fListeners.getListeners();			for (int i= 0; i < listeners.length; i++)				((IPropertyChangeListener) listeners[i]).propertyChange(event);		}	}