Program: 86937
Project: 86937
Buggy source:
void setupUI(){
  setupTermfilterSpinners();
  JPanel termfilterPanel=new JPanel();
  termfilterPanel.setLayout(new BoxLayout(termfilterPanel,BoxLayout.X_AXIS));
  termfilterPanel.add(new JLabel("String_Node_Str"));
  termfilterPanel.add(tpSpinner);
  termfilterPanel.add(new JLabel("String_Node_Str"));
  termfilterPanel.add(tcSpinner);
  termlistInfo=new JLabel();
  docdrivenTermTable=new TermTable(new TermTableModel());
  docdrivenTermTable.model.terms=() -> docdrivenTerms;
  docdrivenTermTable.model.comparison=() -> docvarCompare;
  docdrivenTermTable.setupTermTable();
  addTermdriverAction(docdrivenTermTable);
  docdrivenTermTable.doubleClickListener=this::pinTerm;
  termdrivenTermTable=new TermTable(new TermTableModel());
  termdrivenTermTable.model.terms=() -> termdrivenTerms;
  termdrivenTermTable.model.comparison=() -> termtermBoolqueryCompare;
  termdrivenTermTable.setupTermTable();
  termdrivenTermTable.doubleClickListener=this::pinTerm;
  pinnedTermTable=new TermTable(new TermTableModel());
  pinnedTermTable.model.terms=() -> pinnedTerms;
  pinnedTermTable.model.comparison=() -> docvarCompare;
  pinnedTermTable.setupTermTable();
  addTermdriverAction(pinnedTermTable);
  pinnedTermTable.doubleClickListener=this::unpinTerm;
  JPanel pinnedWrapper=new JPanel(new BorderLayout());
  pinnedWrapper.add(pinnedTermTable.top(),BorderLayout.CENTER);
  JPanel docdrivenWrapper=new JPanel(new BorderLayout());
  JPanel topstuff=new JPanel(new FlowLayout(FlowLayout.LEFT));
  topstuff.add(termlistInfo);
  docdrivenWrapper.add(topstuff,BorderLayout.NORTH);
  docdrivenWrapper.add(docdrivenTermTable.top(),BorderLayout.CENTER);
  JPanel termdrivenWrapper=new JPanel(new BorderLayout());
  termtermDescription=new JLabel("String_Node_Str");
  termdrivenWrapper.add(termtermDescription,BorderLayout.NORTH);
  termdrivenWrapper.add(termdrivenTermTable.top(),BorderLayout.CENTER);
  mainqueryInfo=new JLabel();
  subqueryInfo=new JLabel();
  JPanel queryInfo=new JPanel(){
{
      add(mainqueryInfo);
      add(subqueryInfo);
    }
  }
;
  brushPanel=new BrushPanel(this,corpus.allDocs());
  brushPanel.yLevels=corpus.yLevels;
  brushPanel.setOpaque(true);
  brushPanel.setBackground(Color.white);
  brushPanel.setBorder(BorderFactory.createLineBorder(Color.black));
  brushPanel.setDefaultXYLim(corpus);
  textPanel=new TextPanel();
  DockController controller=new DockController();
  SplitDockStation station=new SplitDockStation();
  controller.add(station);
  SplitDockGrid grid=new SplitDockGrid();
  grid.addDockable(0,0,1,10,new DefaultDockable("String_Node_Str"){
{
      add(pinnedWrapper);
    }
  }
);
  grid.addDockable(0,10,1,5,new DefaultDockable("String_Node_Str"){
{
      add(termfilterPanel);
    }
  }
);
  grid.addDockable(0,15,1,20,new DefaultDockable("String_Node_Str"){
{
      add(docdrivenWrapper);
    }
  }
);
  grid.addDockable(0,35,1,20,new DefaultDockable("String_Node_Str"){
{
      add(termdrivenWrapper);
    }
  }
);
  grid.addDockable(1,0,1,5,new DefaultDockable("String_Node_Str"){
{
      add(queryInfo);
    }
  }
);
  grid.addDockable(1,10,1,15,new DefaultDockable("String_Node_Str"){
{
      add(brushPanel);
    }
  }
);
  grid.addDockable(1,25,1,20,new DefaultDockable("String_Node_Str"){
{
      add(textPanel.top());
    }
  }
);
  station.dropTree(grid.toTree());
  mainFrame=new JFrame("String_Node_Str");
  mainFrame.add(station.getComponent());
  mainFrame.setBounds(20,20,800,600);
  mainFrame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
  ToolTipManager.sharedInstance().setDismissDelay((int)1e6);
}

Fixed version (ground truth):
void setupUI(){
  setupTermfilterSpinners();
  JPanel termfilterPanel=new JPanel();
  termfilterPanel.setLayout(new BoxLayout(termfilterPanel,BoxLayout.X_AXIS));
  termfilterPanel.add(new JLabel("String_Node_Str"));
  termfilterPanel.add(tpSpinner);
  termfilterPanel.add(new JLabel("String_Node_Str"));
  termfilterPanel.add(tcSpinner);
  termlistInfo=new JLabel();
  docdrivenTermTable=new TermTable(new TermTableModel());
  docdrivenTermTable.model.terms=() -> docdrivenTerms;
  docdrivenTermTable.model.comparison=() -> docvarCompare;
  docdrivenTermTable.setupTermTable();
  addTermdriverAction(docdrivenTermTable);
  docdrivenTermTable.doubleClickListener=this::pinTerm;
  termdrivenTermTable=new TermTable(new TermTableModel());
  termdrivenTermTable.model.terms=() -> termdrivenTerms;
  termdrivenTermTable.model.comparison=() -> termtermBoolqueryCompare;
  termdrivenTermTable.setupTermTable();
  termdrivenTermTable.doubleClickListener=this::pinTerm;
  pinnedTermTable=new TermTable(new TermTableModel());
  pinnedTermTable.model.terms=() -> pinnedTerms;
  pinnedTermTable.model.comparison=() -> docvarCompare;
  pinnedTermTable.setupTermTable();
  addTermdriverAction(pinnedTermTable);
  pinnedTermTable.doubleClickListener=this::unpinTerm;
  JPanel pinnedWrapper=new JPanel(new BorderLayout());
  pinnedWrapper.add(pinnedTermTable.top(),BorderLayout.CENTER);
  JPanel docdrivenWrapper=new JPanel(new BorderLayout());
  JPanel topstuff=new JPanel(new FlowLayout(FlowLayout.LEFT));
  topstuff.add(termlistInfo);
  docdrivenWrapper.add(topstuff,BorderLayout.NORTH);
  docdrivenWrapper.add(docdrivenTermTable.top(),BorderLayout.CENTER);
  termtermDescription=new InfoArea("String_Node_Str");
  JPanel termdrivenWrapper=new JPanel(new BorderLayout()){
{
      addComponentListener(new ComponentAdapter(){
        @Override public void componentResized(        ComponentEvent e){
        }
      }
);
    }
  }
;
  termdrivenWrapper.add(termtermDescription,BorderLayout.NORTH);
  termdrivenWrapper.add(termdrivenTermTable.top(),BorderLayout.CENTER);
  mainqueryInfo=new InfoArea("String_Node_Str");
  subqueryInfo=new InfoArea("String_Node_Str");
  JPanel queryInfo=new JPanel(){
{
      setLayout(new BoxLayout(this,BoxLayout.PAGE_AXIS));
      add(mainqueryInfo);
      add(subqueryInfo);
      addComponentListener(new ComponentAdapter(){
        @Override public void componentResized(        ComponentEvent e){
        }
      }
);
    }
  }
;
  brushPanel=new BrushPanel(this,corpus.allDocs());
  brushPanel.yLevels=corpus.yLevels;
  brushPanel.setOpaque(true);
  brushPanel.setBackground(Color.white);
  brushPanel.setBorder(BorderFactory.createLineBorder(Color.black));
  brushPanel.setDefaultXYLim(corpus);
  textPanel=new TextPanel();
  DockController controller=new DockController();
  SplitDockStation station=new SplitDockStation();
  controller.add(station);
  SplitDockGrid grid=new SplitDockGrid();
  double x=1, rx=1;
  grid.addDockable(0,0,x,10,new DefaultDockable("String_Node_Str"){
{
      add(pinnedWrapper);
    }
  }
);
  grid.addDockable(0,10,x,5,new DefaultDockable("String_Node_Str"){
{
      add(termfilterPanel);
    }
  }
);
  grid.addDockable(0,15,x,20,new DefaultDockable("String_Node_Str"){
{
      add(docdrivenWrapper);
    }
  }
);
  grid.addDockable(0,35,x,20,new DefaultDockable("String_Node_Str"){
{
      add(termdrivenWrapper);
    }
  }
);
  grid.addDockable(x,0,rx,5,new DefaultDockable("String_Node_Str"){
{
      add(queryInfo);
    }
  }
);
  grid.addDockable(x,10,rx,15,new DefaultDockable("String_Node_Str"){
{
      add(brushPanel);
    }
  }
);
  grid.addDockable(x,25,rx,20,new DefaultDockable("String_Node_Str"){
{
      add(textPanel.top());
    }
  }
);
  station.dropTree(grid.toTree());
  mainFrame=new JFrame("String_Node_Str");
  mainFrame.add(station.getComponent());
  mainFrame.pack();
  mainFrame.setBounds(20,20,800,550);
  mainFrame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
  ToolTipManager.sharedInstance().setDismissDelay((int)1e6);
}