A couple of bug fixes to the counting Trie, and also a fix to use List rather than Array in the SearchSourceQuery.