}
else {
result.add(new DefaultAttribute(localName, pi.getValue(localName)));
}
} else if (node instanceof DocumentType) {
DocumentType doctype = (DocumentType)node;
if ("publicId".equals(localName)) {
result.add(new DefaultAttribute("publicId", doctype.getPublicID()));
}
else if ("systemId".equals(localName)) {
result.add(new DefaultAttribute("systemId", doctype.getSystemID()));
}
else if ("elementName".equals(localName)) {
result.add(new DefaultAttribute("elementName", doctype.getElementName()));
}
}
}