jEdit.setBooleanProperty("options.jazzy.load-dictionary", loadOnStart.getModel().isSelected());
  protected void _save() {    jEdit.setBooleanProperty("options.jazzy.load-dictionary", loadOnStart.getModel().isSelected());    jEdit.setBooleanProperty("options.jazzy.reset-spellchecker", resetDict.getModel().isSelected());    jEdit.setBooleanProperty("options.jazzy.default-checker", defaultChecker.getModel().isSelected());    jEdit.setBooleanProperty("options.jazzy.disk-based", disk_based.getModel().isSelected());    jEdit.setProperty("options.jazzy.dictionary", dictDir.getText());  }