public static XmlNamedElementPattern.XmlAttributePattern attributeWithDom(
     String attributeName, ElementPattern<? extends DomElement> domPattern) {
   return XmlPatterns.xmlAttribute().withLocalName(attributeName).and(withDom(domPattern));
 }