}
// ** DICTIONARY METHODS **
private DictionaryIterator resetDictIterator() {
DictionaryIterator ret = null;
try {
ret = new DictionaryIterator(Dictionary.read(dictFile), Charset.forName("utf8").newDecoder(), true);
} catch (IOException e) {
throw new RuntimeException("Could not read " + dictFile, e);
}
return ret;
}