public void copyTo(ParagraphRevision other) { base.copyTo(other); other.aText = aText; other.aVersion = aVersion; }