Program: 3844
Project: 3844
Buggy source:
/** 
 * Constructs a PropertyFilter using the specified results list, filter type, property key, and icon manager.
 */
public PropertyFilter(EventList<E> resultsList,FilterType filterType,FilePropertyKey propertyKey,Provider<IconManager> iconManager){
  if ((filterType == FilterType.PROPERTY) && (propertyKey == null)) {
    throw new IllegalArgumentException("String_Node_Str");
  }
  this.filterType=filterType;
  this.propertyKey=propertyKey;
  this.iconManager=iconManager;
  FilterResources resources=getResources();
  panel.setLayout(new MigLayout("String_Node_Str","String_Node_Str","String_Node_Str"));
  panel.setOpaque(false);
  propertyLabel.setFont(resources.getHeaderFont());
  propertyLabel.setForeground(resources.getHeaderColor());
  propertyLabel.setText(getPropertyText());
  list.setCellRenderer(new PropertyCellRenderer(BorderFactory.createEmptyBorder(1,7,0,7)));
  list.setFont(resources.getRowFont());
  list.setForeground(resources.getRowColor());
  list.setOpaque(false);
  list.setRolloverEnabled(true);
  list.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
  list.setHighlighters(new ColorHighlighter(HighlightPredicate.ROLLOVER_ROW,resources.getHighlightBackground(),resources.getHighlightForeground()));
  list.addMouseListener(new RolloverCursorListener());
  moreButton.setAction(new MoreAction());
  moreButton.setBorder(BorderFactory.createEmptyBorder(0,1,1,1));
  moreButton.setContentAreaFilled(false);
  moreButton.setFocusPainted(false);
  moreButton.setFont(resources.getRowFont());
  moreButton.setHorizontalTextPosition(JButton.LEADING);
  moreButton.addMouseListener(new MouseAdapter(){
    @Override public void mouseEntered(    MouseEvent e){
      if (morePopupPanel != null) {
        morePopupPanel.setPopupTriggered(true);
      }
    }
    @Override public void mouseExited(    MouseEvent e){
      if (morePopupPanel != null) {
        morePopupPanel.setPopupTriggered(false);
      }
    }
  }
);
  initialize(resultsList);
  list.setPrototypeCellValue("String_Node_Str");
  int listHeight=3 * list.getFixedCellHeight();
  panel.add(propertyLabel,"String_Node_Str");
  panel.add(list,"String_Node_Str" + listHeight + "String_Node_Str");
  panel.add(moreButton,"String_Node_Str");
}

Fixed version (ground truth):
/** 
 * Constructs a PropertyFilter using the specified results list, filter type, property key, and icon manager.
 */
public PropertyFilter(EventList<E> resultsList,FilterType filterType,FilePropertyKey propertyKey,Provider<IconManager> iconManager){
  if ((filterType == FilterType.PROPERTY) && (propertyKey == null)) {
    throw new IllegalArgumentException("String_Node_Str");
  }
  this.filterType=filterType;
  this.propertyKey=propertyKey;
  this.iconManager=iconManager;
  FilterResources resources=getResources();
  panel.setLayout(new MigLayout("String_Node_Str","String_Node_Str","String_Node_Str"));
  panel.setOpaque(false);
  propertyLabel.setFont(resources.getHeaderFont());
  propertyLabel.setForeground(resources.getHeaderColor());
  propertyLabel.setText(getPropertyText());
  list.setCellRenderer(new PropertyCellRenderer(resources.getBackground(),BorderFactory.createEmptyBorder(1,7,0,7)));
  list.setFont(resources.getRowFont());
  list.setForeground(resources.getRowColor());
  list.setOpaque(false);
  list.setRolloverEnabled(true);
  list.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
  list.setHighlighters(new ColorHighlighter(HighlightPredicate.ROLLOVER_ROW,resources.getHighlightBackground(),resources.getHighlightForeground()));
  list.addMouseListener(new RolloverCursorListener());
  moreButton.setAction(new MoreAction());
  moreButton.setBorder(BorderFactory.createEmptyBorder(0,1,1,1));
  moreButton.setContentAreaFilled(false);
  moreButton.setFocusPainted(false);
  moreButton.setFont(resources.getRowFont());
  moreButton.setHorizontalTextPosition(JButton.LEADING);
  moreButton.addMouseListener(new MouseAdapter(){
    @Override public void mouseEntered(    MouseEvent e){
      if (morePopupPanel != null) {
        morePopupPanel.setPopupTriggered(true);
      }
    }
    @Override public void mouseExited(    MouseEvent e){
      if (morePopupPanel != null) {
        morePopupPanel.setPopupTriggered(false);
      }
    }
  }
);
  initialize(resultsList);
  list.setPrototypeCellValue("String_Node_Str");
  int listHeight=3 * list.getFixedCellHeight();
  panel.add(propertyLabel,"String_Node_Str");
  panel.add(list,"String_Node_Str" + listHeight + "String_Node_Str");
  panel.add(moreButton,"String_Node_Str");
}