docs: public static String readStringAttributeElement(final XMLExtendedStreamReader reader, final String attributeName)
              throws XMLStreamException {
          requireSingleAttribute(reader, attributeName);
          final String value = reader.getAttributeValue(0);
          requireNoContent(reader);
          return value;
      }