public void notationDecl(
     String name, XMLResourceIdentifier identifier, Augmentations augmentations)
     throws XNIException {
   if (fDTDHandler != null) {
     fDTDHandler.notationDecl(name, identifier, augmentations);
   }
 }