Refresh resources before sync check in DeleteResourcesProcessor#4046

vogella wants to merge 2 commits into

eclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

vogella:lv/delete-resources-honor-lightweight-auto-refreshvogella/eclipse.platform.ui:lv/delete-resources-honor-lightweight-auto-refreshCopy head branch name to clipboard