// Skip this file if it suddenly exists again (it shouldn't be
// in the notify deleted in this case!)
final File thisFile = new File(filePath);
if (!thisFile.exists()) {
// Record the notification
deleteEvents.add(new FileEvent(new FileDetails(thisFile,
null), FileOperation.DELETED, null));
// Update the prior execution map so it isn't notified again
// next round
priorFiles.remove(thisFile);
}