Program: 108881
Project: 108881
Buggy source:
private void create(final Composite parent){
  base=new Composite(parent,SWT.NONE);
  final GridData bottomLayoutData=SWTUtil.createFillGridData();
  bottomLayoutData.grabExcessVerticalSpace=true;
  final GridLayout bottomLayout=new GridLayout();
  bottomLayout.numColumns=1;
  base.setLayout(bottomLayout);
  base.setLayoutData(bottomLayoutData);
  final Label l=new Label(base,SWT.NONE);
  l.setText(Resources.getMessage("String_Node_Str") + attribute + Resources.getMessage("String_Node_Str"));
  table=new Table(base,SWT.BORDER | SWT.MULTI | SWT.FULL_SELECTION);
  final TableColumn newColumn=new TableColumn(table,SWT.NONE,0);
  newColumn.setWidth(60);
  table.redraw();
  updateColumnTitles();
  if (editable) {
    final Composite bottom=new Composite(base,SWT.NONE);
    bottom.setLayoutData(SWTUtil.createFillHorizontallyGridData());
    final GridLayout layout=new GridLayout();
    layout.numColumns=4;
    bottom.setLayout(layout);
    final Label l1=new Label(bottom,SWT.NONE);
    l1.setText(Resources.getMessage("String_Node_Str"));
    min=new Combo(bottom,SWT.READ_ONLY);
    min.setLayoutData(SWTUtil.createFillHorizontallyGridData());
    min.addSelectionListener(new SelectionAdapter(){
      @Override public void widgetSelected(      final SelectionEvent arg0){
        if (min.getSelectionIndex() >= 0 && min.getItemCount() > 1) {
          if (min.getSelectionIndex() > (max.getSelectionIndex() + 1)) {
            min.select(max.getSelectionIndex() + 1);
          }
 else {
            if (model != null) {
              String val=min.getItem(min.getSelectionIndex());
              if (val.equals(ITEM_ALL)) {
                val="String_Node_Str";
              }
              model.getInputConfig().getInput().getDefinition().setMinimumGeneralization(attribute,Integer.valueOf(val) - 1);
              controller.update(new ModelEvent(this,ModelPart.ATTRIBUTE_TYPE,attribute));
            }
          }
        }
      }
    }
);
    final Label l2=new Label(bottom,SWT.NONE);
    l2.setText(Resources.getMessage("String_Node_Str"));
    max=new Combo(bottom,SWT.READ_ONLY);
    max.setLayoutData(SWTUtil.createFillHorizontallyGridData());
    max.addSelectionListener(new SelectionAdapter(){
      @Override public void widgetSelected(      final SelectionEvent arg0){
        if (max.getSelectionIndex() >= 0 && max.getItemCount() > 1) {
          if (max.getSelectionIndex() < (min.getSelectionIndex() - 1)) {
            max.select(min.getSelectionIndex() - 1);
          }
 else {
            if (model != null) {
              String val=max.getItem(max.getSelectionIndex());
              if (val.equals(ITEM_ALL)) {
                val=String.valueOf(max.getItem(max.getSelectionIndex() - 1));
              }
              model.getInputConfig().getInput().getDefinition().setMaximumGeneralization(attribute,Integer.valueOf(val) - 1);
              controller.update(new ModelEvent(this,ModelPart.ATTRIBUTE_TYPE,attribute));
            }
          }
        }
      }
    }
);
  }
  init();
}

Fixed version (ground truth):
private void create(final Composite parent){
  base=new Composite(parent,SWT.NONE);
  final GridData bottomLayoutData=SWTUtil.createFillGridData();
  bottomLayoutData.grabExcessVerticalSpace=true;
  final GridLayout bottomLayout=new GridLayout();
  bottomLayout.numColumns=1;
  base.setLayout(bottomLayout);
  base.setLayoutData(bottomLayoutData);
  final Label l=new Label(base,SWT.NONE);
  l.setText(Resources.getMessage("String_Node_Str") + attribute + Resources.getMessage("String_Node_Str"));
  table=new Table(base,SWT.BORDER | SWT.MULTI | SWT.FULL_SELECTION);
  final TableColumn newColumn=new TableColumn(table,SWT.NONE,0);
  newColumn.setWidth(60);
  table.redraw();
  updateColumnTitles();
  if (editable) {
    final Composite bottom=new Composite(base,SWT.NONE);
    bottom.setLayoutData(SWTUtil.createFillHorizontallyGridData());
    final GridLayout layout=new GridLayout();
    layout.numColumns=4;
    bottom.setLayout(layout);
    final Label l1=new Label(bottom,SWT.NONE);
    l1.setText(Resources.getMessage("String_Node_Str"));
    min=new Combo(bottom,SWT.READ_ONLY);
    min.setLayoutData(SWTUtil.createFillHorizontallyGridData());
    min.addSelectionListener(new SelectionAdapter(){
      @Override public void widgetSelected(      final SelectionEvent arg0){
        if (updateMin())         controller.update(new ModelEvent(this,ModelPart.ATTRIBUTE_TYPE,attribute));
      }
    }
);
    final Label l2=new Label(bottom,SWT.NONE);
    l2.setText(Resources.getMessage("String_Node_Str"));
    max=new Combo(bottom,SWT.READ_ONLY);
    max.setLayoutData(SWTUtil.createFillHorizontallyGridData());
    max.addSelectionListener(new SelectionAdapter(){
      @Override public void widgetSelected(      final SelectionEvent arg0){
        if (updateMax())         controller.update(new ModelEvent(this,ModelPart.ATTRIBUTE_TYPE,attribute));
      }
    }
);
  }
  init();
}