/** Update GUI from a changed configuration bean (perhaps by undo/redo). */
  @Override
  public void refreshConfiguration() {
    configBean = activity.getConfiguration();

    // FIXME: Update UI elements from your bean fields
    typeOfInput.setSelectedItem(configBean.getTypeOfInput());
    // typeOfFilter.setSelectedItem(configBean.getTypeOfFilter());

  }
  /** Check if the user has changed the configuration from the original */
  @Override
  public boolean isConfigurationChanged() {
    String originalTypeOfInput = configBean.getTypeOfInput();
    // String originalTypeOfFilter = configBean.getTypeOfFilter();
    // true (changed) unless all fields match the originals

    return !(originalTypeOfInput.equals((String) typeOfInput.getSelectedItem())
    /*&& originalTypeOfFilter.equals((String)typeOfFilter.getSelectedItem())*/ );
  }