String () { if (myHeader != null) { return HtmlTagTreeElement.normalizeSpacesAndShortenIfLong(myHeader); } final XmlTag tag = getElement(); return tag == null ? null : HtmlTagTreeElement.normalizeSpacesAndShortenIfLong(tag.getValue().getTrimmedText()); }