public void flushDataStoreEvents() {
// inform listeners
Object[] listeners = listenerList.getListenerList();
Map<Type, DBIDs> objects = new HashMap<Type, DBIDs>();
objects.put(currentDataStoreEventType, DBIDUtil.makeUnmodifiable(dataStoreObjects));
DataStoreEvent e = new DataStoreEvent(this, objects);
for(int i = listeners.length - 2; i >= 0; i -= 2) {
if(listeners[i] == DataStoreListener.class) {
((DataStoreListener) listeners[i + 1]).contentChanged(e);
}