public DeletionInfo copy() { return new DeletionInfo(topLevel, ranges == null ? null : ranges.copy()); }