FileChangeListener fcl = en.nextElement(); if (onlyPriority && !isPriorityListener(fcl)) { newEnum.add(fcl);
while (en.hasMoreElements ()) { FileChangeListener fcl = (FileChangeListener)en.nextElement (); if (onlyPriority && !isPriorityListener(fcl)) { newEnum.add (fcl); continue;
while (en.hasMoreElements ()) { FileChangeListener fcl = (FileChangeListener)en.nextElement (); if (onlyPriority && !isPriorityListener(fcl)) { newEnum.add (fcl); continue;