/**
* Distributes the given file change event among all file change listeners.
*
* @param event the file change event to distribute
*/
protected void distributeFileChangeEvent(FileChangeEvent event) {
Iterator it = fileListeners.iterator();
while (it.hasNext()) {
FileChangeListener listener = (FileChangeListener) it.next();
listener.fileChanged(event);
}
}
