}
Element newElement = element.getDOMFactory().createElement();
newElement.setName("script");
newElement.setAttribute("type","text/javascript");
newElement.insertAfter(element);
Text scriptContent = element.getDOMFactory().createText();
StylesExtractor extractor = WidgetHelper.createStylesExtractor(protocol, styles);
String highlightScript = "Widget.register('"+ widgetID +"',new Widget.HighlightingNavigation('" + widgetID + "', " +
" {" +