7475767778798081828384
public void preferencesEventOccured(PreferencesPropagatorEvent event) { IPreferencesPropagatorListener l = (IPreferencesPropagatorListener) this .get(); if (l != null) { l.preferencesEventOccured(event); } else { removeRedundantReference(this); } }