if (alias.getType() == IResource.PROJECT) {
if (checkDeletion((Project) alias, location))
continue;
//project did not require deletion, so fall through below and refresh it
}
localManager.refresh(alias, IResource.DEPTH_INFINITE, false, null);
}
}
/**
* Process any structural changes that have occurred since the last alias