super(params);
}
protected Detokenizer createDetokenizer(DetokenizerParameter p) {
try {
return new DictionaryDetokenizer(new DetokenizationDictionary(
new FileInputStream(new File(p.getDetokenizer()))));
} catch (IOException e) {
throw new TerminateToolException(-1, "IO error while loading detokenizer dict: " + e.getMessage(), e);
}
}