如何正确删除gwt中的元素（不推荐使用`DOM.isOrHasChild`&；DOM.removeChild`）？

好的，这个代码有效

if(DOM.isOrHasChild(RootPanel.getBodyElement(), DOM.getElementById("loading"))){
        DOM.removeChild(RootPanel.getBodyElement(), DOM.getElementById("loading"));
}

但是，

DOM.isOrHasChild

和

DOM.removeChild

都被弃用。那么，问题是：

什么是可以执行与上述代码相同任务的未预先编制的代码？可能使用

releaseCapture

或类似的方法？

类并具有所需的方法：

Element body = Document.get().getBody();
Element loading = Document.get().getElementById("loading");

if(body.isOrHasChild(loading)){
    loading.removeFromParent();
}