LocalEnumeratedIndex uses MapDB API DB.getHashSet to create HashSets. This method does not activate the counter on the created HTreeMap which leads to very poor performance when calling LocalEnumeratedIndex.estimateTotalCount() since it will requires to scan the whole collection.

The HTreeMap should be created differently by the LocalEnumeratedIndex to enable the counter.