public static String requireStringAttr(Element ele, String attrName) throws IOException {
		String value = ele.getAttributeValue(attrName);
		if (value == null || value.isEmpty()) {
			throw new IOException(
				"Missing required attribute: '" + attrName + "' in " + toString(ele));
		}
		return value;
	}
Throws an {@link IOException} with a verbose explanation if the requested
attribute is not present or is empty.

@param ele JDOM {@link Element} that contains the attribute
@param attrName the attribute name
@return String value of the attribute (never null or empty)
@throws IOException if attribute is missing or empty
Ghidra/Framework/Generic/src/main/java/ghidra/util/xml/XmlUtilities.java