}
synchronized (lock) { if (isRemoved()) throw new IllegalStateException("node has been removed"); if (listener == null) throw new NullPointerException("listener is null"); if (preferenceListeners != null) preferenceListeners.remove(listener); } }
    public void removePreferenceChangeListener                            (PreferenceChangeListener listener)    {		// XXX	}