public void writeDictionary(ArrayList<String> ignoredWords)
{
CsvWriter csvWriter = new CsvWriter();
for (String ignored : ignoredWords)
csvWriter.writeValue(ignored);
csvWriter.endLine();
docUpdateSentinel_.setProperty(IGNORED_WORDS,
csvWriter.getValue(),
new NullProgressIndicator());
}