}
protected void init(File workingDir) throws IOException, JSONException{
this.workingDir = workingDir;
this.vocabularySearcher = new VocabularySearcher(this.workingDir);
this.predefinedVocabularyManager = new PredefinedVocabularyManager(this,this.workingDir);
InputStream in = this.getClass().getResourceAsStream("/files/prefixes");
this.prefixManager = new PrefixManager(in);
}