target.deleteResource(true, status);
} catch (CoreException e) {
status.add(e.getStatus());
// delete might have been partly successful, so refresh to ensure in sync
try {
target.refreshLocal(IResource.DEPTH_INFINITE, null);
} catch (CoreException e1) {
//ignore secondary failure - we are just trying to cleanup from first failure
}
}
}