public void copyTo(Collection other) { base.copyTo(other); other.aTypeName = aTypeName; other.aMaxSize = aMaxSize; }