}
public void addDocType (String docType) throws DocumentBuilderException {
XMLNode currentNode = peek ();
if (currentNode instanceof Document) {
currentNode.addChild (new DocType (docType));
} else {
throw new DocumentBuilderException (
"Document schema definitions aren't allowed here.");
}
}