how to correctly remove element in gwt (both `DOM.isOrHasChild` & `DOM.removeChild` were deprecated)?

Ok, this code works

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

However, both DOM.isOrHasChild & DOM.removeChild were deprecated. Then, the question is:

What are the undeprecated code that can do the same task as the bove code? maybe use releaseCapture or something likes that?

--
You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit+unsubscribe@googlegroups.com.
To post to this group, send email to google-web-toolkit@googlegroups.com.
Visit this group at http://groups.google.com/group/google-web-toolkit.
For more options, visit https://groups.google.com/d/optout.