protected void distributeFileChangeEvent(FileChangeEvent event) {
		Iterator it = fileListeners.iterator();
		while (it.hasNext()) {
			FileChangeListener listener = (FileChangeListener) it.next();
			listener.fileChanged(event);
		}
	}