}
public Document createDocumentWithPublicIdentifier(String name, String publicIdentifier, String systemIdentifier) throws XMLPlatformException {
try {
XMLDocument xmlDocument = (XMLDocument)createDocument();
Element rootElement = xmlDocument.createElement(name);
xmlDocument.appendChild(rootElement);
xmlDocument.setDoctype(name, systemIdentifier, publicIdentifier);
return xmlDocument;
} catch (Exception e) {
throw XMLPlatformException.xmlPlatformCouldNotCreateDocument(e);