}
current.writeStartElement("fragment");
current.writeStartElement("start");
current.writeAttribute("position", Long.toString(position));
current.writeStartElement("desc");
Para<?> para = new HtmlDocumentBuilder.HtmlParaBuilder(new HtmlDocumentBuilder(current), null, new NullLifecycleListener(), current);
Documenter<ParaContents<?>> documenter = codec.getCodecDescriptor().summary();
documenter.document(para);
para.end();
current.writeEndElement();
current.writeEndElement();