fileMonitorService.notifyDeleted(actual.getCanonicalPath());
}
catch (final IOException ignored) {
}
if (actual.isDirectory()) {
new DeleteDirectory(undoManager, filenameResolver, actual,
reasonForDeletion);
}
else {
new DeleteFile(undoManager, filenameResolver, actual,
reasonForDeletion);