private Statistics(XmlStatistics s) { using (s) { this.indexedKeys_ = s.getNumberOfIndexedKeys(); this.uniqueKeys_ = s.getNumberOfUniqueKeys(); this.sumKeyValueSize_ = s.getSumKeyValueSize(); } }