groupbox$mold$=function(a,e){var d=this.uuid,c=this.caption,b=this.getTitle();b=b&&!c?zUtl.encodeXML(b):null;a.push("<div ",this.domAttrs_(),">");if(b||c)a.push('<div id="',d,'-header" class="',this.$s("header"),this._closable?"":" "+this.$s("readonly"),'">'),c?c.redraw(a):a.push('<div id="',d,'-title" class="',this.$s("title"),'" role="none"><div id="',d,'-title-cnt" class="',this.$s("title-content"),'" role="none">',b,"</div></div>"),a.push("</div>");this._redrawCave(a,e);a.push("</div>")};
