public void copyTo(Specification other) { base.copyTo(other); other.aVersion = aVersion; other.aChapters = aChapters; other.aChapterRefs = aChapterRefs; }