*/
public static void deTagElement(Element e) {
Attribute a = e.getAttribute("xtid");
if(a != null) {e.removeAttribute(a); a.detach();}
a = e.getAttribute("xtspanstart");
if(a != null) {e.removeAttribute(a); a.detach();}
a = e.getAttribute("xtspanend");
if(a != null) {e.removeAttribute(a); a.detach();}
for(int i=0;i<e.getChildElements().size();i++) {
deTagElement(e.getChildElements().get(i));
}