public void reset() {
   if (settingsForm != null) {
     settingsForm.loadState(JFlexSettings.getInstance());
   }
 }
 public boolean isModified() {
   return settingsForm != null && settingsForm.isModified(JFlexSettings.getInstance());
 }
 public void apply() throws ConfigurationException {
   if (settingsForm != null) {
     JFlexSettings.getInstance().loadState(settingsForm.getState());
   }
 }
 public JComponent createComponent() {
   if (settingsForm == null) {
     settingsForm = new JFlexSettingsForm(JFlexSettings.getInstance());
   }
   return settingsForm.getFormComponent();
 }