void (Element element) { JDOMExternalizerUtil.writeField(element, "myExternalName", myExternalName); if (myDefaultAttributes != null) { Element option = JDOMExternalizerUtil.writeOption(element, "myDefaultAttributes"); myDefaultAttributes.writeExternal(option); } }