Author: akazakov Date: 2010-10-21 07:37:50 -0400 (Thu, 21 Oct 2010) New Revision: 25965 Modified: trunk/jst/plugins/org.jboss.tools.jst.web.kb/src/org/jboss/tools/jst/web/kb/internal/validation/ValidatorManager.java Log: https://jira.jboss.org/browse/JBIDE-7377 Exception in error log after several files deletion -> ResourceException: Resource 'xxx' does not exist. Fixed. Modified: trunk/jst/plugins/org.jboss.tools.jst.web.kb/src/org/jboss/tools/jst/web/kb/internal/validation/ValidatorManager.java =================================================================== --- trunk/jst/plugins/org.jboss.tools.jst.web.kb/src/org/jboss/tools/jst/web/kb/internal/validation/ValidatorManager.java 2010-10-21 11:18:46 UTC (rev 25964) +++ trunk/jst/plugins/org.jboss.tools.jst.web.kb/src/org/jboss/tools/jst/web/kb/internal/validation/ValidatorManager.java 2010-10-21 11:37:50 UTC (rev 25965) @@ -101,7 +101,9 @@ private void removeMarkers(Set<IFile> files) { try { for (IFile file : files) { - file.deleteMarkers(IValidator.KB_PROBLEM_MARKER_TYPE, true, IResource.DEPTH_ZERO); + if(file.isAccessible()) { + file.deleteMarkers(IValidator.KB_PROBLEM_MARKER_TYPE, true, IResource.DEPTH_ZERO); + } } } catch (CoreException e) { WebKbPlugin.getDefault().logError(e);