listeners.add(listener);
listeners.addElement(listener);
    public void addPreferenceChangeListener(IPreferenceChangeListener listener) {        if (!listeners.contains((listener))) {            listeners.add(listener);        }    }