public final void removeActiveObjectListener(ActiveObjectProviderListener lst) {
activeObjectListeners.add(lst);
}
protected final void fireActiveObjectsChanged() {
ActiveObjectProviderEvent evt = new ActiveObjectProviderEvent(this, getActiveObjects());
activeObjectListeners.call().activeObjectsChanged(evt);
}