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;
}
