void (@NotNull Element element) { super.writeExternal(element); if (typeNameTarget.getName() != null) { element.setAttribute("run_configuration_name", typeNameTarget.getName()); } if (typeNameTarget.getType() != null) { element.setAttribute("run_configuration_type", typeNameTarget.getType()); } if (typeNameTarget.getTargetId() != null) { element.setAttribute("run_configuration_target", typeNameTarget.getTargetId()); } }