void (@NotNull Element element) { super.writeExternal(element); if (myAntFileUrl != null && myTargetName != null) { element.setAttribute("antfile", myAntFileUrl); element.setAttribute("target", myTargetName); } }