1411141214131414141514161417
return ok; } /* @return the right kind of stats object for this database. */ public DatabaseStats getEmptyStats() { return new BtreeStats(); }