code: public static HTMLElement element(com.google.gwt.dom.client.Element element) {
          return Js.cast(element);
      }
docs: Converts from {@link com.google.gwt.dom.client.Element} &rarr; {@link HTMLElement}.