code: private void ensureRespondJsScriptElement() {
  		if (this.respondJsScript == null) {
  			this.respondJsScript = Document.get().createScriptElement();
  			this.respondJsScript.setSrc(GWT.getModuleBaseForStaticFiles() + DefaultIE8ThemeController.RESPOND_JS_LOCATION);
  			this.respondJsScript.setType("text/javascript");
  		}
  	}
docs: Ensure respond js script element.