code: public static void throwNotationException(NotationDeclaration oldDecl, NotationDeclaration newDecl)
          throws XMLStreamException
      {
          throw new WstxParsingException
              (MessageFormat.format(ErrorConsts.ERR_DTD_NOTATION_REDEFD,
                                    new Object[] {
                                    newDecl.getName(),
                                    oldDecl.getLocation().toString()}),
               newDecl.getLocation());
      }
docs: /*
  ////////////////////////////////////////////////////
  Convenience methods used by other classes
  ////////////////////////////////////////////////////