/**
* Let the validation manager know that a project has been removed.
*
* @param project The project that has been closed or deleted.
*/
public void projectRemoved(IProject project) {
ValidatorProjectManager.reset();
_projectPreferences.remove(project);
_cache.reset(project);
}
/** This method needs to be called whenever the validation configuration has changed. */
private void configHasChanged() {
_configNumber.incrementAndGet();
ValidatorProjectManager.reset();
_cache.reset();
}
