public void addRegistryChangeListener(EventListener listener) {
public void addRegistryChangeListener(IRegistryChangeListener listener) {
	public void addRegistryChangeListener(EventListener listener) {		// this is just a convenience API - no need to do any sync'ing here				addRegistryChangeListener(listener, null);	}