I have an element A which is focused in the tree. The tree is refreshed. Element A is no longer there. Focus is moved to the tree since the element is missing.
The proper solution would be to keep the focus stable, thus moving it to the neighbor element if the previous one is no longer there

Explorer runs into the same issue, element A is focused and delete it via Delete key. We move focus to the neighbor element, but we can do that since we have our internal api.