code: protected HtmlTree getWinTitleScript(){
          HtmlTree script = HtmlTree.SCRIPT();
          if(winTitle != null && winTitle.length() > 0) {
              String scriptCode = "<!--" + DocletConstants.NL +
                      "    try {" + DocletConstants.NL +
                      "        if (location.href.indexOf('is-external=true') == -1) {" + DocletConstants.NL +
                      "            parent.document.title=\"" + escapeJavaScriptChars(winTitle) + "\";" + DocletConstants.NL +
                      "        }" + DocletConstants.NL +
                      "    }" + DocletConstants.NL +
                      "    catch(err) {" + DocletConstants.NL +
                      "    }" + DocletConstants.NL +
                      "//-->" + DocletConstants.NL;
              RawHtml scriptContent = new RawHtml(scriptCode);
              script.addContent(scriptContent);
          }
          return script;
      }
docs: Returns an HtmlTree for the SCRIPT tag.
  
  @return an HtmlTree for the SCRIPT tag