Fix Project Explorer not refreshing source containers after drag-and-drop move#3526

laeubi wants to merge 2 commits intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

laeubi:fix_missing_refreshlaeubi/eclipse.platform.ui:fix_missing_refreshCopy head branch name to clipboard