public static void setValue( final IPreferenceStore store, final String name, final AggregationKind value) { final AggregationKind oldValue = getAggregationKind(store, name); if (oldValue == null || !oldValue.equals(value)) { store.putValue(name, asString(value)); store.firePropertyChangeEvent(name, oldValue, value); } }