void (@NotNull Element element) { super.readExternal(element); final String url = element.getAttributeValue("antfile"); final String targetName = element.getAttributeValue("target"); if (url != null && targetName != null) { myAntFileUrl = url; myTargetName = targetName; } }