/**
  * Returns the name of the document type.
  *
  * @return the name
  */
 @JsxGetter
 public String getName() {
   final DomDocumentType domDocumentType = getDomNodeOrDie();
   return domDocumentType.getName();
 }