code: public void setWindowTitle(String title) {
  
          /* HACK: Using a Label destroys the layout for some reason, so we resort to setting the caption directly in the
           element via an explicit JavaScript call. */
          m_windowTitle = title;
          JavaScript.eval(
              "document.querySelector('#"
                  + getId()
                  + " .fakewindowheader').innerHTML = '"
                  + StringEscapeUtils.escapeEcmaScript(title)
                  + "'");
      }
docs: Sets the window title.<p>
  
  @param title the new window title