We are now using the new com.google.gwt.dom.client.Element object since the old one was deprecated in GWT 2.6.
Tweaked the position of the back to top link so it doesn't overlap the items in the widgets panel.
We are now using the new value box and making sure we are using the right Element class in the rest of the code.