// merge local dictionaries
final List<TrieSet> listOfTries = runGenerator.getTries();
final TrieSet final_trie = new DBSeqTrieSet(dir + "FinalTrie");
if(listOfTries.size()>1){
final_trie.merge(listOfTries);
} else {
final_trie.copy(listOfTries.get(0));
}
// create real dictionary