Fix content provider hasChildren inconsistency causing stale UI after drag-and-drop#16

laeubi merged 2 commits intofix_missing_refreshlaeubi/eclipse.platform.ui:fix_missing_refreshfrom

copilot/check-content-provider-approachlaeubi/eclipse.platform.ui:copilot/check-content-provider-approachCopy head branch name to clipboard