public Element reportDtElem() {
StringBuffer sb = new StringBuffer(255);
sb.append(shortTypeName);
sb.append(" [ dataSourceName: ");
sb.append(pds.getDataSourceName());
sb.append("; identityToken: ");
sb.append(pds.getIdentityToken());
sb.append(" ]");
Element dtElem = doc.createElement("dt");
dtElem.appendChild(doc.createTextNode(sb.toString()));
return dtElem;
}
