User-defined synonym sets.
public void setUserThesaurusFile(String newUserThesaurusFile);
Options Class