diff --git a/core/org.eclipse.cdt.core/model/org/eclipse/cdt/internal/core/settings/model/ResourceChangeHandler.java b/core/org.eclipse.cdt.core/model/org/eclipse/cdt/internal/core/settings/model/ResourceChangeHandler.java index 3de2bd5f08b..fc0841e672e 100644 --- a/core/org.eclipse.cdt.core/model/org/eclipse/cdt/internal/core/settings/model/ResourceChangeHandler.java +++ b/core/org.eclipse.cdt.core/model/org/eclipse/cdt/internal/core/settings/model/ResourceChangeHandler.java @@ -204,7 +204,9 @@ public class ResourceChangeHandler extends ResourceChangeHandlerBase implements // Bug 311189 -- if the resource still exists now, don't treat as a remove! if (to == null) { - from.refreshLocal(IResource.DEPTH_ZERO, null); + // Workaround for platform Bug 317783 + if (from.getWorkspace().validateFiltered(from).isOK()) + from.refreshLocal(IResource.DEPTH_ZERO, null); if (from.exists()) continue; }