configEditor.setText( origConfig != null ? origConfig : getDefaultConfig() );
    configEditor.setEnabled( prefs.getProjectSpecific() );
  }
  private boolean storePrefs() throws CoreException {
    OptionsPreferences prefs = new OptionsPreferences( getPreferences() );
    prefs.setProjectSpecific( projectSpecificCheckbox.getSelection() );
    boolean changed = prefs.hasChanged();
    if( changed ) {
      savePreferences();
    }
    return changed;
  }