Program: 108886
Project: 108886
Buggy source:
private void initialize(final ARXResult result,final ModelNodeFilter nodeFilter){
  reset();
  maxlevels=result.getLattice().getTop().getTransformation();
  if (nodeFilter == null) {
    filter=new ModelNodeFilter(maxlevels,model.getInitialNodesInViewer());
    filter.initialize(result);
  }
 else {
    filter=nodeFilter;
  }
  this.result=result;
  for (  final String attr : result.getLattice().getBottom().getQuasiIdentifyingAttributes()) {
    attribute.add(attr);
  }
  attribute.select(0);
  attribute.setEnabled(true);
  if (filter.isAllowedAnonymous()) {
    anonymous.select(0);
  }
 else {
    anonymous.select(1);
  }
  anonymous.setEnabled(true);
  if (filter.isAllowedNonAnonymous()) {
    notanonymous.select(0);
  }
 else {
    notanonymous.select(1);
  }
  notanonymous.setEnabled(true);
  if (filter.isAllowedUnknown()) {
    unknown.select(0);
  }
 else {
    unknown.select(1);
  }
  unknown.setEnabled(true);
  min.setMinimum(informationLossToInt(result.getLattice().getBottom().getMinimumInformationLoss().getValue()));
  max.setMaximum(informationLossToInt(result.getLattice().getTop().getMaximumInformationLoss().getValue()));
  min.setSelection(informationLossToInt(filter.getAllowedMinInformationLoss()));
  max.setSelection(informationLossToInt(filter.getAllowedMaxInformationLoss()));
  min.setEnabled(true);
  max.setEnabled(true);
  generalization.removeAll();
  createGeneralization(result.getLattice().getBottom().getQuasiIdentifyingAttributes()[attribute.getSelectionIndex()]);
  generalization.setEnabled(true);
  if (model != null) {
    model.setNodeFilter(filter);
    controller.update(new ModelEvent(this,ModelPart.FILTER,filter));
  }
}

Fixed version (ground truth):
private void initialize(final ARXResult result,final ModelNodeFilter nodeFilter){
  reset();
  if (result == null || result.getLattice() == null)   return;
  maxlevels=result.getLattice().getTop().getTransformation();
  if (nodeFilter == null) {
    filter=new ModelNodeFilter(maxlevels,model.getInitialNodesInViewer());
    filter.initialize(result);
  }
 else {
    filter=nodeFilter;
  }
  this.result=result;
  for (  final String attr : result.getLattice().getBottom().getQuasiIdentifyingAttributes()) {
    attribute.add(attr);
  }
  attribute.select(0);
  attribute.setEnabled(true);
  if (filter.isAllowedAnonymous()) {
    anonymous.select(0);
  }
 else {
    anonymous.select(1);
  }
  anonymous.setEnabled(true);
  if (filter.isAllowedNonAnonymous()) {
    notanonymous.select(0);
  }
 else {
    notanonymous.select(1);
  }
  notanonymous.setEnabled(true);
  if (filter.isAllowedUnknown()) {
    unknown.select(0);
  }
 else {
    unknown.select(1);
  }
  unknown.setEnabled(true);
  min.setMinimum(informationLossToInt(result.getLattice().getBottom().getMinimumInformationLoss().getValue()));
  max.setMaximum(informationLossToInt(result.getLattice().getTop().getMaximumInformationLoss().getValue()));
  min.setSelection(informationLossToInt(filter.getAllowedMinInformationLoss()));
  max.setSelection(informationLossToInt(filter.getAllowedMaxInformationLoss()));
  min.setEnabled(true);
  max.setEnabled(true);
  generalization.removeAll();
  createGeneralization(result.getLattice().getBottom().getQuasiIdentifyingAttributes()[attribute.getSelectionIndex()]);
  generalization.setEnabled(true);
  if (model != null) {
    model.setNodeFilter(filter);
    controller.update(new ModelEvent(this,ModelPart.FILTER,filter));
  }
}