this.listener.debug( "ResourceChangeNotification ChangeSet modified resource=" + resource + " for listener=" + listener );
}
}
for ( Entry<ResourceChangeListener, ChangeSetImpl> entry : localChangeSets.entrySet() ) {
ResourceChangeListener listener = entry.getKey();
ChangeSetImpl localChangeSet = entry.getValue();
listener.resourcesChanged( localChangeSet );
}
// ResourceModifiedEvent event = new ResourceModifiedEventImpl( resource,
// resource.getLastModified() );
// Set<ResourceChangeListener> listeners = this.subscriptions.get( resource );