int (Element element, String attributeName, int defaultValue) { final Attribute attribute = element.getAttribute(attributeName); if (attribute != null) { try { return attribute.getIntValue(); } catch (DataConversionException ignored) { } } return defaultValue; }