private static IDocument createDocumentWithDTD( final DocumentType documentType, final String rootElementName) { final IDocument result = new Document(new QualifiedName(null, rootElementName)); result.setPublicID(documentType.getPublicId()); result.setSystemID(documentType.getSystemId()); return result; }