/**
  * (overridden)
  *
  * @see
  *     entagged.audioformats.generic.AudioFileModificationListener#fileOperationFinished(java.io.File)
  */
 public void fileOperationFinished(File result) {
   Enumeration enumer = this.listeners.elements();
   while (enumer.hasMoreElements()) {
     AudioFileModificationListener current = (AudioFileModificationListener) enumer.nextElement();
     current.fileOperationFinished(result);
   }
 }
 /**
  * (overridden)
  *
  * @see
  *     entagged.audioformats.generic.AudioFileModificationListener#vetoThrown(entagged.audioformats.generic.AudioFileModificationListener,
  *     entagged.audioformats.AudioFile, entagged.audioformats.exceptions.ModifyVetoException)
  */
 public void vetoThrown(
     AudioFileModificationListener cause, AudioFile original, ModifyVetoException veto) {
   Enumeration enumer = this.listeners.elements();
   while (enumer.hasMoreElements()) {
     AudioFileModificationListener current = (AudioFileModificationListener) enumer.nextElement();
     current.vetoThrown(cause, original, veto);
   }
 }
 /**
  * (overridden)
  *
  * @see
  *     entagged.audioformats.generic.AudioFileModificationListener#fileWillBeModified(entagged.audioformats.AudioFile,
  *     boolean)
  */
 public void fileWillBeModified(AudioFile file, boolean delete) throws ModifyVetoException {
   Enumeration enumer = this.listeners.elements();
   while (enumer.hasMoreElements()) {
     AudioFileModificationListener current = (AudioFileModificationListener) enumer.nextElement();
     try {
       current.fileWillBeModified(file, delete);
     } catch (ModifyVetoException e) {
       vetoThrown(current, file, e);
       throw e;
     }
   }
 }
 /**
  * (overridden)
  *
  * @see
  *     entagged.audioformats.generic.AudioFileModificationListener#fileModified(entagged.audioformats.AudioFile,
  *     java.io.File)
  */
 public void fileModified(AudioFile original, File temporary) throws ModifyVetoException {
   Enumeration enumer = this.listeners.elements();
   while (enumer.hasMoreElements()) {
     AudioFileModificationListener current = (AudioFileModificationListener) enumer.nextElement();
     try {
       current.fileModified(original, temporary);
     } catch (ModifyVetoException e) {
       vetoThrown(current, original, e);
       throw e;
     }
   }
 }