public void writeExternal(Element element) throws WriteExternalException {
    DefaultJDOMExternalizer.write(this, element, new DifferenceFilter<>(this, DEFAULT_SETTINGS_HOLDER));
  }
public void writeExternal(Element element)