public void writeDocType(String name, String sys, String pub, String subset) throws IOException {
DocType docType;
if (null != pub) {
docType = new DocType(name, pub, sys);
} else if (null != sys) {
docType = new DocType(name, sys);
} else {
docType = new DocType(name);
}
if (null != subset) {
docType.setInternalSubset(subset);
}
this.document.setDocType(docType);
}
