Fixing a point: the ResourceSetListener is an observer pattern, not a
publish/subscripe.