/** * 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(); }