void (@NotNull Element element) { super.writeExternal(element); for (ArtifactPointer pointer : myArtifactPointers) { element.addContent(new Element(myElementName).setAttribute(NAME_ATTRIBUTE, pointer.getArtifactName())); } }