@Override
  public void writeExternal(Element element) throws WriteExternalException {
    super.writeExternal(element);
    writeModule(element);

    XmlSerializer.serializeInto(this, element);

    CoverageEnabledConfiguration coverageEnabledConfiguration =
        DotNetCoverageEnabledConfiguration.get(this);
    Element coverageElement = new Element("coverage");
    coverageEnabledConfiguration.writeExternal(coverageElement);
    element.addContent(coverageElement);
  }
  @Override
  public void readExternal(Element element) throws InvalidDataException {
    super.readExternal(element);
    readModule(element);

    XmlSerializer.deserializeInto(this, element);

    Element coverageElement = element.getChild("coverage");
    if (coverageElement != null) {
      CoverageEnabledConfiguration coverageEnabledConfiguration =
          DotNetCoverageEnabledConfiguration.get(this);
      coverageEnabledConfiguration.readExternal(coverageElement);
    }
  }