LogUtils.severe(e);
}
}
private void setSpellCheckOptions(final ResourceController resourceController) {
final SpellCheckerOptions options = SpellChecker.getOptions();
options.setCaseSensitive(resourceController.getBooleanProperty("spelling_opt_case_sensitive"));
options.setIgnoreAllCapsWords(resourceController.getBooleanProperty("spelling_opt_ignore_all_caps_words"));
options.setIgnoreCapitalization(resourceController.getBooleanProperty("spelling_opt_ignore_capitalization"));
options.setIgnoreWordsWithNumbers(resourceController
.getBooleanProperty("spelling_opt_ignore_words_with_numbers"));
options.setSuggestionsLimitDialog(resourceController
.getIntProperty("spelling_opt_suggestions_limit_dialog", 15));
options.setSuggestionsLimitMenu(resourceController.getIntProperty("spelling_opt_suggestions_limit_menu", 15));
}