nus-yam/ex-repair huggingface dataset:
Program: 9978
Project: 9978
Buggy source:
private void updateList(final List<? extends EvaluatedDescription> result){
  Runnable doUpdateList=new Runnable(){
    public void run(){
      model.setSuggestList(result);
      dm.clear();
      int i=0;
      for (      EvaluatedDescription eval : result) {
        Set<String> ont=model.getOntologyURIString();
        for (        String ontology : ont) {
          if (eval.getDescription().toString().contains(ontology)) {
            if (model.isConsistent(eval)) {
              dm.add(i,new SuggestListItem(colorGreen,eval.getDescription().toManchesterSyntaxString(ontology,null),((EvaluatedDescriptionClass)eval).getAccuracy() * 100));
              break;
            }
 else {
              dm.add(i,new SuggestListItem(colorRed,eval.getDescription().toManchesterSyntaxString(ontology,null),((EvaluatedDescriptionClass)eval).getAccuracy() * 100));
              view.setIsInconsistent(true);
              break;
            }
          }
        }
      }
      view.getSuggestClassPanel().setSuggestList(dm);
    }
  }
;
  SwingUtilities.invokeLater(doUpdateList);
}

Fixed version (ground truth):
private void updateList(final List<? extends EvaluatedDescription> result){
  Runnable doUpdateList=new Runnable(){
    public void run(){
      model.setSuggestList(result);
      dm.clear();
      int i=0;
      for (      EvaluatedDescription eval : result) {
        Set<String> ont=model.getOntologyURIString();
        for (        String ontology : ont) {
          if (eval.getDescription().toString().contains(ontology)) {
            if (((EvaluatedDescriptionClass)eval).isConsistent()) {
              dm.add(i,new SuggestListItem(colorGreen,eval.getDescription().toManchesterSyntaxString(ontology,null),((EvaluatedDescriptionClass)eval).getAccuracy() * 100));
              break;
            }
 else {
              dm.add(i,new SuggestListItem(colorRed,eval.getDescription().toManchesterSyntaxString(ontology,null),((EvaluatedDescriptionClass)eval).getAccuracy() * 100));
              view.setIsInconsistent(true);
              break;
            }
          }
        }
      }
      view.getSuggestClassPanel().setSuggestList(dm);
    }
  }
;
  SwingUtilities.invokeLater(doUpdateList);
}
Program: 9979
Project: 9979
Buggy source:
/** 
 * This is the constructor for DL-Learner model.
 * @param editorKit Editor Kit to get the currently loaded Ontology
 * @param id String if it learns a subclass or a superclass.
 * @param view current view of the DL-Learner tab
 */
public DLLearnerModel(OWLEditorKit editorKit,DLLearnerView view){
  editor=editorKit;
  this.view=view;
  ontologyConsistent=true;
  instancesCount=0;
  owlDescription=new HashSet<OWLDescription>();
  ComponentManager.setComponentClasses(componenten);
  cm=ComponentManager.getInstance();
  ds=new HashSet<OWLDescription>();
  suggestModel=new DefaultListModel();
  ontologieURI=new HashSet<String>();
  sources=new HashSet<KnowledgeSource>();
}

Fixed version (ground truth):
/** 
 * This is the constructor for DL-Learner model.
 * @param editorKit Editor Kit to get the currently loaded Ontology
 * @param id String if it learns a subclass or a superclass.
 * @param view current view of the DL-Learner tab
 */
public DLLearnerModel(OWLEditorKit editorKit,DLLearnerView view){
  editor=editorKit;
  this.view=view;
  ontologyConsistent=true;
  owlDescription=new HashSet<OWLDescription>();
  ComponentManager.setComponentClasses(componenten);
  cm=ComponentManager.getInstance();
  ds=new HashSet<OWLDescription>();
  suggestModel=new DefaultListModel();
  ontologieURI=new HashSet<String>();
  sources=new HashSet<KnowledgeSource>();
}
Program: 9982
Project: 9982
Buggy source:
public void setGraphicalPanel(){
  learner.remove(posPanel);
  learner.remove(advanced);
  learner.remove(adv);
  learner.repaint();
  posPanel.setBounds(10,435,490,250);
  adv.setBounds(40,405,200,20);
  advanced.setBounds(10,405,20,20);
  detail.setBounds(10,195,590,200);
  detail.setVisible(true);
  learner.add(adv);
  learner.add(advanced);
  learner.add(posPanel);
  learner.add(detail);
  learnerPanel.setPreferredSize(new Dimension(575,620));
  learnerPanel.removeAll();
  learnerPanel.add(learner);
  learnerScroll.setViewportView(learnerPanel);
  learnerScroll.repaint();
}

Fixed version (ground truth):
public void setGraphicalPanel(){
  GridBagConstraints c=new GridBagConstraints();
  learner.remove(posPanel);
  learner.remove(advanced);
  learner.remove(adv);
  learner.repaint();
  detail.setVisible(true);
  c.fill=GridBagConstraints.NONE;
  c.gridx=0;
  c.gridy=3;
  c.gridwidth=3;
  c.ipady=80;
  learner.add(detail,c);
  c.fill=GridBagConstraints.HORIZONTAL;
  c.gridx=0;
  c.gridy=4;
  c.gridwidth=1;
  learner.add(advanced,c);
  c.fill=GridBagConstraints.HORIZONTAL;
  c.gridx=1;
  c.gridy=4;
  c.gridwidth=GridBagConstraints.REMAINDER;
  learner.add(adv,c);
  c.fill=GridBagConstraints.NONE;
  c.gridx=0;
  c.gridy=5;
  c.gridwidth=3;
  c.ipady=80;
  learner.add(posPanel,c);
  learnerScroll.setPreferredSize(new Dimension(SCROLL_WIDTH,SCROLL_HEIGHT));
  learnerScroll.setViewportView(learner);
  learnerScroll.repaint();
}
Program: 9983
Project: 9983
Buggy source:
/** 
 * This method sets the right icon for the advanced Panel.
 * @param toggled boolean
 */
public void setIconToggled(boolean toggled){
  if (toggled) {
    advanced.setIcon(toggledIcon);
    learnerPanel.setPreferredSize(new Dimension(575,400));
  }
  if (!toggled) {
    advanced.setIcon(icon);
    learnerPanel.setPreferredSize(new Dimension(575,350));
  }
}

Fixed version (ground truth):
/** 
 * This method sets the right icon for the advanced Panel.
 * @param toggled boolean
 */
public void setIconToggled(boolean toggled){
  this.toogled=toggled;
  if (this.toogled) {
    advanced.setIcon(toggledIcon);
    learnerPanel.setPreferredSize(new Dimension(WIDTH,OPTION_HEIGHT));
    learnerScroll.setPreferredSize(new Dimension(SCROLL_WIDTH,SCROLL_HEIGHT));
  }
  if (!this.toogled) {
    advanced.setIcon(icon);
    learnerPanel.setPreferredSize(new Dimension(WIDTH,HEIGHT));
    learnerScroll.setPreferredSize(new Dimension(SCROLL_WIDTH,SCROLL_HEIGHT));
  }
}
Program: 9984
Project: 9984
Buggy source:
/** 
 * When a Button is pressed this method select the right.
 * @param z ActionEvent
 */
public void actionPerformed(ActionEvent z){
  if (z.getActionCommand().equals("String_Node_Str" + id + "String_Node_Str")) {
    model.setKnowledgeSource();
    model.setReasoner();
    model.setLearningProblem();
    model.setLearningAlgorithm();
    view.getRunButton().setEnabled(false);
    view.renderErrorMessage("String_Node_Str");
    retriever=new SuggestionRetriever();
    retriever.execute();
  }
  if (z.getActionCommand().equals("String_Node_Str")) {
    view.getMoreDetailForSuggestedConceptsPanel().repaint();
    if (evaluatedDescription != null) {
      model.changeDLLearnerDescriptionsToOWLDescriptions(evaluatedDescription.getDescription());
    }
 else {
      model.changeDLLearnerDescriptionsToOWLDescriptions((Description)view.getSuggestClassPanel().getSuggestList().getSelectedValue());
    }
    String message="String_Node_Str";
    view.renderErrorMessage(message);
  }
  if (z.getActionCommand().equals("String_Node_Str")) {
    if (!toggled) {
      toggled=true;
      view.setIconToggled(toggled);
      view.setExamplePanelVisible(toggled);
    }
 else {
      toggled=false;
      view.setIconToggled(toggled);
      view.setExamplePanelVisible(toggled);
    }
  }
}

Fixed version (ground truth):
/** 
 * When a Button is pressed this method select the right.
 * @param z ActionEvent
 */
public void actionPerformed(ActionEvent z){
  if (z.getActionCommand().equals("String_Node_Str" + id + "String_Node_Str")) {
    model.setKnowledgeSource();
    model.setReasoner();
    model.setLearningProblem();
    model.setLearningAlgorithm();
    view.getRunButton().setEnabled(false);
    view.renderErrorMessage("String_Node_Str");
    retriever=new SuggestionRetriever();
    retriever.execute();
  }
  if (z.getActionCommand().equals("String_Node_Str")) {
    if (evaluatedDescription != null) {
      model.changeDLLearnerDescriptionsToOWLDescriptions(evaluatedDescription.getDescription());
    }
 else {
      model.changeDLLearnerDescriptionsToOWLDescriptions((Description)view.getSuggestClassPanel().getSuggestList().getSelectedValue());
    }
    String message="String_Node_Str";
    view.renderErrorMessage(message);
  }
  if (z.getActionCommand().equals("String_Node_Str")) {
    if (!toggled) {
      toggled=true;
      view.setIconToggled(toggled);
      view.setExamplePanelVisible(toggled);
    }
 else {
      toggled=false;
      view.setIconToggled(toggled);
      view.setExamplePanelVisible(toggled);
    }
  }
}
Program: 9985
Project: 9985
Buggy source:
/** 
 * This method sets the Learning problem for the learning process. PosNegDefinitonLp for equivalent classes and PosNegInclusionLP for super classes.
 */
public void setLearningProblem(){
  lp=cm.learningProblem(ClassLearningProblem.class,reasoner);
  cm.applyConfigEntry(lp,"String_Node_Str",currentConcept.toString());
  System.out.println("String_Node_Str" + currentConcept);
  if (id.equals(EQUIVALENT_CLASS_AXIOM_STRING)) {
    cm.applyConfigEntry(lp,"String_Node_Str",EQUIVALENT_CLASS_LEARNING);
  }
  if (id.equals(SUPER_CLASS_AXIOM_STRING)) {
    cm.applyConfigEntry(lp,"String_Node_Str",SUPER_CLASS_LEARNING);
  }
  try {
    lp.init();
  }
 catch (  ComponentInitException e) {
    e.printStackTrace();
  }
}

Fixed version (ground truth):
/** 
 * This method sets the Learning problem for the learning process. PosNegDefinitonLp for equivalent classes and PosNegInclusionLP for super classes.
 */
public void setLearningProblem(){
  lp=cm.learningProblem(ClassLearningProblem.class,reasoner);
  cm.applyConfigEntry(lp,"String_Node_Str",currentConcept.toString());
  if (id.equals(EQUIVALENT_CLASS_AXIOM_STRING)) {
    cm.applyConfigEntry(lp,"String_Node_Str",EQUIVALENT_CLASS_LEARNING);
  }
  if (id.equals(SUPER_CLASS_AXIOM_STRING)) {
    cm.applyConfigEntry(lp,"String_Node_Str",SUPER_CLASS_LEARNING);
  }
  try {
    lp.init();
  }
 catch (  ComponentInitException e) {
    e.printStackTrace();
  }
}
Program: 9986
Project: 9986
Buggy source:
/** 
 * This Method renders the view of the plugin.
 */
public void makeView(){
  learner.remove(detail);
  run.setEnabled(false);
  System.out.println("String_Node_Str");
  detail.unsetPanel();
  detail.setVisible(false);
  hint.setText("String_Node_Str");
  isInconsistent=false;
  readThread=new ReadingOntologyThread(editorKit,this,model);
  readThread.start();
  hint.setVisible(true);
  advanced.setIcon(icon);
  accept.setEnabled(false);
  action.resetToggled();
  addButtonPanel.add("String_Node_Str",accept);
  sugPanel.setSuggestList(new DefaultListModel());
  sugPanel=sugPanel.updateSuggestClassList();
  advanced.setSelected(false);
  sugPanel.setBounds(10,35,490,110);
  adv.setBounds(40,195,200,20);
  wikiPane.setBounds(220,0,350,30);
  addButtonPanel.setBounds(510,40,80,70);
  run.setBounds(10,0,200,30);
  advanced.setBounds(10,195,20,20);
  detail.setBounds(10,195,600,300);
  detail.setVisible(true);
  sugPanel.setVisible(true);
  posPanel.setVisible(false);
  posPanel.setBounds(10,225,490,250);
  accept.setBounds(510,40,80,80);
  hint.setBounds(10,150,490,35);
  errorMessage.setBounds(510,100,490,50);
  learner.add(run);
  learner.add(wikiPane);
  learner.add(adv);
  learner.add(advanced);
  learner.add(sugPanel);
  learner.add(addButtonPanel);
  learner.add(hint);
  learner.add(errorMessage);
  learner.add(posPanel);
  learnerPanel.add(learner);
  learnerScroll.setViewportView(learnerPanel);
  this.renderErrorMessage("String_Node_Str");
}

Fixed version (ground truth):
/** 
 * This Method renders the view of the plugin.
 */
public void makeView(){
  learner.remove(detail);
  run.setEnabled(false);
  detail.unsetPanel();
  learnerPanel.setPreferredSize(new Dimension(575,350));
  detail.setVisible(false);
  hint.setText("String_Node_Str");
  isInconsistent=false;
  readThread=new ReadingOntologyThread(editorKit,this,model);
  readThread.start();
  hint.setVisible(true);
  advanced.setIcon(icon);
  accept.setEnabled(false);
  action.resetToggled();
  addButtonPanel.add("String_Node_Str",accept);
  sugPanel.setSuggestList(new DefaultListModel());
  sugPanel=sugPanel.updateSuggestClassList();
  advanced.setSelected(false);
  sugPanel.setBounds(10,35,470,110);
  adv.setBounds(40,195,200,20);
  wikiPane.setBounds(220,0,350,30);
  addButtonPanel.setBounds(485,40,80,70);
  run.setBounds(10,0,200,30);
  advanced.setBounds(10,195,20,20);
  detail.setBounds(10,195,600,300);
  detail.setVisible(true);
  sugPanel.setVisible(true);
  posPanel.setVisible(false);
  posPanel.setBounds(10,225,490,250);
  accept.setBounds(510,40,80,80);
  hint.setBounds(10,150,490,35);
  errorMessage.setBounds(485,110,80,80);
  learner.add(run);
  learner.add(wikiPane);
  learner.add(adv);
  learner.add(advanced);
  learner.add(sugPanel);
  learner.add(addButtonPanel);
  learner.add(hint);
  learner.add(errorMessage);
  learner.add(posPanel);
  learnerPanel.add(learner);
  learnerScroll.setViewportView(learnerPanel);
  this.renderErrorMessage("String_Node_Str");
}
Program: 9988
Project: 9988
Buggy source:
public void setGraphicalPanel(){
  learner.remove(posPanel);
  learner.remove(advanced);
  learner.remove(adv);
  learner.repaint();
  posPanel.setBounds(10,535,490,250);
  adv.setBounds(40,505,200,20);
  advanced.setBounds(10,505,20,20);
  detail.setBounds(10,195,600,300);
  detail.setVisible(true);
  learner.add(adv);
  learner.add(advanced);
  learner.add(posPanel);
  learner.add(detail);
  learnerPanel.setPreferredSize(new Dimension(600,660));
  learnerPanel.removeAll();
  learnerPanel.add(learner);
  learnerScroll.setViewportView(learnerPanel);
  learnerScroll.repaint();
}

Fixed version (ground truth):
public void setGraphicalPanel(){
  learner.remove(posPanel);
  learner.remove(advanced);
  learner.remove(adv);
  learner.repaint();
  posPanel.setBounds(10,435,490,250);
  adv.setBounds(40,405,200,20);
  advanced.setBounds(10,405,20,20);
  detail.setBounds(10,195,590,200);
  detail.setVisible(true);
  learner.add(adv);
  learner.add(advanced);
  learner.add(posPanel);
  learner.add(detail);
  learnerPanel.setPreferredSize(new Dimension(575,560));
  learnerPanel.removeAll();
  learnerPanel.add(learner);
  learnerScroll.setViewportView(learnerPanel);
  learnerScroll.repaint();
}
Program: 9991
Project: 9991
Buggy source:
/** 
 * This method renders the output for the detail panel.
 * @param desc selected description
 */
public void renderDetailPanel(EvaluatedDescription desc){
  accuracy.setVisible(false);
  accuracyText.setVisible(false);
  concept.setVisible(false);
  conceptText.setVisible(false);
  eval=desc;
  this.setInformation();
  p=new GraphicalCoveragePanel(eval,model,conceptText.getText(),this);
  p.setBounds(5,0,600,350);
  unsetEverything();
  conceptPanel.removeAll();
  conceptPanel.add(concept);
  conceptPanel.add(accuracy);
  conceptPanel.add(conceptText);
  conceptPanel.add(accuracyText);
  conceptPanel.setVisible(true);
  this.add(p);
  this.addPropertyChangeListener(handler);
  conceptPanel.addPropertyChangeListener(handler);
  this.repaint();
}

Fixed version (ground truth):
/** 
 * This method renders the output for the detail panel.
 * @param desc selected description
 */
public void renderDetailPanel(EvaluatedDescription desc){
  accuracy.setVisible(false);
  accuracyText.setVisible(false);
  concept.setVisible(false);
  conceptText.setVisible(false);
  eval=desc;
  this.setInformation();
  p=new GraphicalCoveragePanel(eval,model,conceptText.getText(),this);
  p.setBounds(5,0,600,350);
  unsetEverything();
  conceptPanel.removeAll();
  conceptPanel.add(concept);
  conceptPanel.add(accuracy);
  conceptPanel.add(conceptText);
  conceptPanel.add(accuracyText);
  conceptPanel.setVisible(true);
  this.add(p);
  this.addPropertyChangeListener(handler);
  this.repaint();
}
Program: 9992
Project: 9992
Buggy source:
/** 
 * Constructor for the Option Panel. 
 */
public OptionPanel(){
  setPreferredSize(new Dimension(490,100));
  setLayout(null);
  minAccuracyLabel=new JLabel("String_Node_Str");
  minAccuracyLabel.setBounds(5,0,150,40);
  maxExecutionTimeLabel=new JLabel("String_Node_Str");
  maxExecutionTimeLabel.setBounds(5,40,150,40);
  nrOfConceptsLabel=new JLabel("String_Node_Str");
  nrOfConceptsLabel.setBounds(5,80,150,40);
  minAccuracy=new JSlider(50,100,90);
  minAccuracy.setPaintTicks(true);
  minAccuracy.setMajorTickSpacing(10);
  minAccuracy.setMinorTickSpacing(1);
  minAccuracy.setPaintLabels(true);
  minAccuracy.setBounds(160,0,200,40);
  maxExecutionTime=new JSlider(2,20,5);
  maxExecutionTime.setPaintTicks(true);
  maxExecutionTime.setMajorTickSpacing(5);
  maxExecutionTime.setMinorTickSpacing(1);
  maxExecutionTime.setPaintLabels(true);
  maxExecutionTime.setBounds(160,40,200,40);
  nrOfConcepts=new JSlider(2,20,10);
  nrOfConcepts.setPaintTicks(true);
  nrOfConcepts.setMajorTickSpacing(2);
  nrOfConcepts.setMinorTickSpacing(1);
  nrOfConcepts.setPaintLabels(true);
  nrOfConcepts.setBounds(160,80,200,40);
  add(minAccuracyLabel);
  add(minAccuracy);
  add(maxExecutionTimeLabel);
  add(maxExecutionTime);
  add(nrOfConceptsLabel);
  add(nrOfConcepts);
}

Fixed version (ground truth):
/** 
 * Constructor for the Option Panel. 
 */
public OptionPanel(){
  setPreferredSize(new Dimension(490,100));
  setLayout(null);
  minAccuracyLabel=new JLabel("String_Node_Str");
  minAccuracyLabel.setBounds(5,0,150,40);
  maxExecutionTimeLabel=new JLabel("String_Node_Str");
  maxExecutionTimeLabel.setBounds(5,40,150,40);
  nrOfConceptsLabel=new JLabel("String_Node_Str");
  nrOfConceptsLabel.setBounds(5,80,150,40);
  minAccuracy=new JSlider(50,100,90);
  minAccuracy.setPaintTicks(true);
  minAccuracy.setMajorTickSpacing(10);
  minAccuracy.setMinorTickSpacing(1);
  minAccuracy.setPaintLabels(true);
  minAccuracy.setBounds(160,0,200,40);
  maxExecutionTime=new JSlider(2,20,8);
  maxExecutionTime.setPaintTicks(true);
  maxExecutionTime.setMajorTickSpacing(5);
  maxExecutionTime.setMinorTickSpacing(1);
  maxExecutionTime.setPaintLabels(true);
  maxExecutionTime.setBounds(160,40,200,40);
  nrOfConcepts=new JSlider(2,20,10);
  nrOfConcepts.setPaintTicks(true);
  nrOfConcepts.setMajorTickSpacing(2);
  nrOfConcepts.setMinorTickSpacing(1);
  nrOfConcepts.setPaintLabels(true);
  nrOfConcepts.setBounds(160,80,200,40);
  add(minAccuracyLabel);
  add(minAccuracy);
  add(maxExecutionTimeLabel);
  add(maxExecutionTime);
  add(nrOfConceptsLabel);
  add(nrOfConcepts);
}
Program: 9994
Project: 9994
Buggy source:
@Override public void run(){
  model.getSuggestModel().removeAllElements();
  model.initReasoner();
  reasoner=model.getReasoner();
  isInconsistent=false;
  if (!isInconsistent) {
    this.checkURI();
    this.setPositiveConcept();
    if (this.hasIndividuals()) {
      view.getRunButton().setEnabled(true);
    }
 else {
      view.getRunButton().setEnabled(false);
      view.getHintPanel().setVisible(false);
      String message="String_Node_Str";
      view.renderErrorMessage(message);
    }
  }
 else {
    view.getHintPanel().setForeground(Color.RED);
    view.getRunButton().setEnabled(false);
    view.setHintMessage("String_Node_Str");
  }
}

Fixed version (ground truth):
@Override public void run(){
  model.getSuggestModel().removeAllElements();
  model.initReasoner();
  reasoner=model.getReasoner();
  isInconsistent=false;
  if (!isInconsistent) {
    this.checkURI();
    this.setPositiveConcept();
    if (this.hasIndividuals()) {
      view.getRunButton().setEnabled(true);
      view.getHintPanel().setForeground(Color.BLACK);
      view.setHintMessage("String_Node_Str");
    }
 else {
      view.getRunButton().setEnabled(false);
      view.getHintPanel().setVisible(true);
      String message="String_Node_Str" + current + "String_Node_Str";
      view.getHintPanel().setForeground(Color.RED);
      view.setHintMessage(message);
    }
  }
 else {
    view.getHintPanel().setForeground(Color.RED);
    view.getRunButton().setEnabled(false);
    view.setHintMessage("String_Node_Str");
  }
}
Program: 9995
Project: 9995
Buggy source:
/** 
 * This is the constructor for the suggest panel. It creates a new Scroll panel and puts the Suggest List in it. 
 */
public SuggestClassPanel(){
  super();
  suggestScroll=new JScrollPane(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
  descriptions=new JList();
  descriptions.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
  suggestPanel=new JPanel();
  descriptions.setVisible(true);
  suggestPanel.add(descriptions);
  suggestScroll.setPreferredSize(new Dimension(490,108));
  suggestScroll.setViewportView(descriptions);
  descriptions.setCellRenderer(new SuggestListCellRenderer());
  add(suggestScroll);
}

Fixed version (ground truth):
/** 
 * This is the constructor for the suggest panel. It creates a new Scroll panel and puts the Suggest List in it. 
 */
public SuggestClassPanel(){
  super();
  suggestScroll=new JScrollPane(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
  descriptions=new JList();
  descriptions.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
  suggestPanel=new JPanel();
  descriptions.setVisible(true);
  suggestPanel.add(descriptions);
  suggestScroll.setPreferredSize(new Dimension(460,108));
  suggestScroll.setViewportView(descriptions);
  descriptions.setCellRenderer(new SuggestListCellRenderer());
  add(suggestScroll);
}
Program: 9996
Project: 9996
Buggy source:
@Override public boolean isSuperClassOfImpl(Description superConcept,Description subConcept){
  return rs.isSuperClassOf(superConcept,subConcept);
}

Fixed version (ground truth):
@Override public boolean isSuperClassOfImpl(Description superConcept,Description subConcept){
  return rc.isSuperClassOf(superConcept,subConcept);
}
Program: 9997
Project: 9997
Buggy source:
@Override public boolean isSatisfiableImpl(){
  return rs.isSatisfiable();
}

Fixed version (ground truth):
@Override public boolean isSatisfiableImpl(){
  return rc.isSatisfiable();
}
Program: 9998
Project: 9998
Buggy source:
public static void main(String[] args){
  SimpleLayout layout=new SimpleLayout();
  ConsoleAppender consoleAppender=new ConsoleAppender(layout);
  Logger logger=Logger.getRootLogger();
  logger.removeAllAppenders();
  logger.addAppender(consoleAppender);
  logger.setLevel(Level.INFO);
  JUnitCore.main("String_Node_Str","String_Node_Str","String_Node_Str");
}

Fixed version (ground truth):
public static void main(String[] args){
  SimpleLayout layout=new SimpleLayout();
  ConsoleAppender consoleAppender=new ConsoleAppender(layout);
  Logger logger=Logger.getRootLogger();
  logger.removeAllAppenders();
  logger.addAppender(consoleAppender);
  logger.setLevel(Level.INFO);
  JUnitCore.main("String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str","String_Node_Str");
}
Program: 9999
Project: 9999
Buggy source:
@Test public void cloneTest() throws ParseException {
  ReasonerComponent rs=TestOntologies.getTestOntology(TestOntology.EMPTY);
  Description d=KBParser.parseConcept("String_Node_Str");
  ConceptTransformation.cleanConcept(d);
  ELDescriptionTree tree=new ELDescriptionTree(rs,d);
  boolean testPerformance=true;
  ELDescriptionTree treeCloned=null;
  if (testPerformance) {
    int runs=1000000;
    long startTime=System.nanoTime();
    for (int i=0; i < runs; i++) {
      treeCloned=tree.clone();
    }
    long runTime=System.nanoTime() - startTime;
    System.out.println(Helper.prettyPrintNanoSeconds(runTime / runs,true,true) + "String_Node_Str");
  }
 else {
    treeCloned=tree.clone();
  }
  ELDescriptionTreeComparator comparator=new ELDescriptionTreeComparator();
  assertTrue(comparator.compare(tree,treeCloned) == 0);
}

Fixed version (ground truth):
@Test public void cloneTest() throws ParseException {
  ReasonerComponent rs=TestOntologies.getTestOntology(TestOntology.EMPTY);
  Description d=KBParser.parseConcept("String_Node_Str");
  ConceptTransformation.cleanConcept(d);
  ELDescriptionTree tree=new ELDescriptionTree(rs,d);
  boolean testPerformance=false;
  ELDescriptionTree treeCloned=null;
  if (testPerformance) {
    int runs=1000000;
    long startTime=System.nanoTime();
    for (int i=0; i < runs; i++) {
      treeCloned=tree.clone();
    }
    long runTime=System.nanoTime() - startTime;
    System.out.println(Helper.prettyPrintNanoSeconds(runTime / runs,true,true) + "String_Node_Str");
  }
 else {
    treeCloned=tree.clone();
  }
  ELDescriptionTreeComparator comparator=new ELDescriptionTreeComparator();
  assertTrue(comparator.compare(tree,treeCloned) == 0);
}
Program: 10001
Project: 10001
Buggy source:
/** 
 * Performs an instance checks on all reasoner components to verify that they all return the correct result.
 */
public void instanceCheckTest(){
  try {
    ComponentManager cm=ComponentManager.getInstance();
    KB kb=getSimpleKnowledgeBase();
    KnowledgeSource ks=new KBFile(kb);
    ks.init();
    Description d;
    d=KBParser.parseConcept("String_Node_Str");
    Individual i=new Individual(KBParser.getInternalURI("String_Node_Str"));
    List<Class<? extends ReasonerComponent>> reasonerClasses=cm.getReasonerComponents();
    for (    Class<? extends ReasonerComponent> reasonerClass : reasonerClasses) {
      ReasonerComponent reasoner=cm.reasoner(reasonerClass,ks);
      reasoner.init();
      boolean result=false;
      result=reasoner.hasType(d,i);
      logger.debug("String_Node_Str" + reasoner + "String_Node_Str"+ d+ "String_Node_Str"+ i+ "String_Node_Str"+ result);
      assertTrue(result);
    }
  }
 catch (  ParseException e) {
    e.printStackTrace();
  }
catch (  ComponentInitException e) {
    e.printStackTrace();
  }
}

Fixed version (ground truth):
/** 
 * Performs an instance checks on all reasoner components to verify that they all return the correct result.
 */
@Test public void instanceCheckTest(){
  boolean excludeDIG=true;
  try {
    ComponentManager cm=ComponentManager.getInstance();
    KB kb=getSimpleKnowledgeBase();
    KnowledgeSource ks=new KBFile(kb);
    ks.init();
    Description d;
    d=KBParser.parseConcept("String_Node_Str");
    Individual i=new Individual(KBParser.getInternalURI("String_Node_Str"));
    List<Class<? extends ReasonerComponent>> reasonerClasses=cm.getReasonerComponents();
    for (    Class<? extends ReasonerComponent> reasonerClass : reasonerClasses) {
      if (excludeDIG && reasonerClass.equals(DIGReasoner.class)) {
        continue;
      }
      ReasonerComponent reasoner=cm.reasoner(reasonerClass,ks);
      reasoner.init();
      boolean result=false;
      result=reasoner.hasType(d,i);
      logger.debug("String_Node_Str" + reasoner + "String_Node_Str"+ d+ "String_Node_Str"+ i+ "String_Node_Str"+ result);
      assertTrue(result);
    }
  }
 catch (  ParseException e) {
    e.printStackTrace();
  }
catch (  ComponentInitException e) {
    e.printStackTrace();
  }
}
Program: 10002
Project: 10002
Buggy source:
public void fastInstanceCheck2() throws ComponentInitException, ParseException {
  String file="String_Node_Str";
  ComponentManager cm=ComponentManager.getInstance();
  KnowledgeSource ks=cm.knowledgeSource(OWLFile.class);
  try {
    cm.applyConfigEntry(ks,"String_Node_Str",new File(file).toURI().toURL());
  }
 catch (  MalformedURLException e) {
    e.printStackTrace();
  }
  ks.init();
  ReasonerComponent reasoner=cm.reasoner(FastInstanceChecker.class,ks);
  reasoner.init();
  baseURI=reasoner.getBaseURI();
  Description description=KBParser.parseConcept("String_Node_Str");
  Individual ind=new Individual("String_Node_Str");
  boolean result=reasoner.hasType(description,ind);
  System.out.println(result);
}

Fixed version (ground truth):
@Test public void fastInstanceCheck2() throws ComponentInitException, ParseException {
  String file="String_Node_Str";
  ComponentManager cm=ComponentManager.getInstance();
  KnowledgeSource ks=cm.knowledgeSource(OWLFile.class);
  try {
    cm.applyConfigEntry(ks,"String_Node_Str",new File(file).toURI().toURL());
  }
 catch (  MalformedURLException e) {
    e.printStackTrace();
  }
  ks.init();
  ReasonerComponent reasoner=cm.reasoner(FastInstanceChecker.class,ks);
  reasoner.init();
  baseURI=reasoner.getBaseURI();
  Description description=KBParser.parseConcept("String_Node_Str");
  Individual ind=new Individual("String_Node_Str");
  boolean result=reasoner.hasType(description,ind);
  System.out.println(result);
}
Program: 10003
Project: 10003
Buggy source:
private String uri(String name){
  return "String_Node_Str" + baseURI + name+ "String_Node_Str";
}

Fixed version (ground truth):
private String uri(String name){
  return baseURI + name;
}
Program: 10004
Project: 10004
Buggy source:
@Test public void rhoDRDownTest2() throws ParseException {
  ReasonerComponent reasoner=TestOntologies.getTestOntology(TestOntology.EPC_OE);
  baseURI=reasoner.getBaseURI();
  RhoDRDown op=new RhoDRDown(reasoner);
  Description concept=KBParser.parseConcept("String_Node_Str");
  Set<Description> results=op.refine(concept,6);
  for (  Description result : results) {
    System.out.println(result);
  }
  int desiredResultSize=141;
  if (results.size() != desiredResultSize) {
    System.out.println(results.size() + "String_Node_Str" + desiredResultSize+ "String_Node_Str");
  }
  assertTrue(results.size() == desiredResultSize);
}

Fixed version (ground truth):
@Test public void rhoDRDownTest2() throws ParseException {
  ReasonerComponent reasoner=TestOntologies.getTestOntology(TestOntology.EPC_OE);
  baseURI=reasoner.getBaseURI();
  RhoDRDown op=new RhoDRDown(reasoner);
  Description concept=KBParser.parseConcept("String_Node_Str");
  Set<Description> results=op.refine(concept,10);
  for (  Description result : results) {
    System.out.println(result.toString("String_Node_Str",null));
  }
  int desiredResultSize=116;
  if (results.size() != desiredResultSize) {
    System.out.println(results.size() + "String_Node_Str" + desiredResultSize+ "String_Node_Str");
  }
  assertTrue(results.size() == desiredResultSize);
}
Program: 10006
Project: 10006
Buggy source:
public static FlatABox createFlatABox(ReasonerComponent rs) throws ReasoningMethodUnsupportedException {
  long dematStartTime=System.currentTimeMillis();
  FlatABox aBox=new FlatABox();
  for (  NamedClass atomicConcept : rs.getNamedClasses()) {
    aBox.atomicConceptsPos.put(atomicConcept.getName(),getStringSet(rs.getIndividuals(atomicConcept)));
    Negation negatedAtomicConcept=new Negation(atomicConcept);
    aBox.atomicConceptsNeg.put(atomicConcept.getName(),getStringSet(rs.getIndividuals(negatedAtomicConcept)));
    aBox.concepts.add(atomicConcept.getName());
  }
  for (  ObjectProperty atomicRole : rs.getObjectProperties()) {
    aBox.rolesPos.put(atomicRole.getName(),getStringMap(rs.getPropertyMembers(atomicRole)));
    aBox.roles.add(atomicRole.getName());
  }
  aBox.domain=getStringSet(rs.getIndividuals());
  aBox.top=aBox.domain;
  long dematDuration=System.currentTimeMillis() - dematStartTime;
  System.out.println("String_Node_Str" + dematDuration + "String_Node_Str");
  return aBox;
}

Fixed version (ground truth):
public static FlatABox createFlatABox(ReasonerComponent rs) throws ReasoningMethodUnsupportedException {
  long dematStartTime=System.currentTimeMillis();
  FlatABox aBox=new FlatABox();
  if (!rs.getNamedClasses().isEmpty()) {
    for (    NamedClass atomicConcept : rs.getNamedClasses()) {
      aBox.atomicConceptsPos.put(atomicConcept.getName(),getStringSet(rs.getIndividuals(atomicConcept)));
      Negation negatedAtomicConcept=new Negation(atomicConcept);
      aBox.atomicConceptsNeg.put(atomicConcept.getName(),getStringSet(rs.getIndividuals(negatedAtomicConcept)));
      aBox.concepts.add(atomicConcept.getName());
    }
  }
  if (!rs.getObjectProperties().isEmpty()) {
    for (    ObjectProperty atomicRole : rs.getObjectProperties()) {
      aBox.rolesPos.put(atomicRole.getName(),getStringMap(rs.getPropertyMembers(atomicRole)));
      aBox.roles.add(atomicRole.getName());
    }
  }
  aBox.domain=getStringSet(rs.getIndividuals());
  aBox.top=aBox.domain;
  long dematDuration=System.currentTimeMillis() - dematStartTime;
  System.out.println("String_Node_Str" + dematDuration + "String_Node_Str");
  return aBox;
}
Program: 10007
Project: 10007
Buggy source:
@Override public Description getDomainImpl(DatatypeProperty datatypeProperty){
  OWLDataProperty prop=OWLAPIConverter.getOWLAPIDataProperty(datatypeProperty);
  try {
    Set<Set<OWLDescription>> set=reasoner.getDomains(prop);
    if (set.size() == 0)     return new Thing();
    OWLClass oc=(OWLClass)set.iterator().next().iterator().next();
    return new NamedClass(oc.getURI().toString());
  }
 catch (  OWLReasonerException e) {
    throw new Error(e);
  }
}

Fixed version (ground truth):
@Override public Description getDomainImpl(DatatypeProperty datatypeProperty){
  OWLDataProperty prop=OWLAPIConverter.getOWLAPIDataProperty(datatypeProperty);
  try {
    Set<Set<OWLDescription>> set=reasoner.getDomains(prop);
    if (set.size() == 0)     return new Thing();
    OWLClass oc=(OWLClass)set.iterator().next().iterator().next();
    String str=oc.getURI().toString();
    if (str.equals("String_Node_Str")) {
      return new Thing();
    }
 else {
      return new NamedClass(str);
    }
  }
 catch (  OWLReasonerException e) {
    throw new Error(e);
  }
}
Program: 10009
Project: 10009
Buggy source:
public ActionHandler(ActionHandler a,DLLearnerModel m,DLLearnerView view,String i){
  this.view=view;
  this.id=i;
  this.model=m;
  toggled=false;
}

Fixed version (ground truth):
/** 
 * This is the constructor for the action handler.
 * @param a ActionHandler
 * @param m DLLearnerModel
 * @param view DLlearner tab
 * @param i id if it is a subclass or an equivalent class
 */
public ActionHandler(ActionHandler a,DLLearnerModel m,DLLearnerView view,String i){
  this.view=view;
  this.id=i;
  this.model=m;
  toggled=false;
}
Program: 10010
Project: 10010
Buggy source:
public DLLearnerModel(OWLEditorKit editorKit,String id,DLLearnerView view){
  editor=editorKit;
  this.id=id;
  this.view=view;
  ontologyConsistent=true;
  instancesCount=0;
  owlDescription=new HashSet<OWLDescription>();
  posListModel=new DefaultListModel();
  negListModel=new DefaultListModel();
  ComponentManager.setComponentClasses(componenten);
  individualVector=new Vector<IndividualObject>();
  cm=ComponentManager.getInstance();
  ds=new HashSet<OWLDescription>();
  suggestModel=new DefaultListModel();
  ontologieURI=new HashSet<String>();
  sources=new HashSet<KnowledgeSource>();
}

Fixed version (ground truth):
/** 
 * This is the constructor for DL-Learner model.
 * @param editorKit Editor Kit to get the currently loaded Ontology
 * @param id String if it learns a subclass or a superclass.
 * @param view current view of the DL-Learner tab
 */
public DLLearnerModel(OWLEditorKit editorKit,String id,DLLearnerView view){
  editor=editorKit;
  this.id=id;
  this.view=view;
  ontologyConsistent=true;
  instancesCount=0;
  owlDescription=new HashSet<OWLDescription>();
  posListModel=new DefaultListModel();
  negListModel=new DefaultListModel();
  ComponentManager.setComponentClasses(componenten);
  individualVector=new Vector<IndividualObject>();
  cm=ComponentManager.getInstance();
  ds=new HashSet<OWLDescription>();
  suggestModel=new DefaultListModel();
  ontologieURI=new HashSet<String>();
  sources=new HashSet<KnowledgeSource>();
}
Program: 10011
Project: 10011
Buggy source:
/** 
 * This Method renders the view of the plugin.
 */
public void makeView(){
  run.setEnabled(false);
  model.clearVector();
  hint.setText("String_Node_Str");
  isInconsistent=false;
  readThread=new ReadingOntologyThread(editorKit,null,this,model);
  readThread.start();
  hint.setVisible(true);
  advanced.setIcon(icon);
  accept.setEnabled(false);
  action.resetToggled();
  addButtonPanel.add("String_Node_Str",accept);
  sugPanel.setSuggestList(model.getSuggestList());
  sugPanel=sugPanel.updateSuggestClassList();
  advanced.setSelected(false);
  sugPanel.setBounds(10,35,490,110);
  adv.setBounds(40,200,200,20);
  wikiPane.setBounds(220,0,350,30);
  addButtonPanel.setBounds(510,40,80,110);
  run.setBounds(10,0,200,30);
  advanced.setBounds(10,200,20,20);
  sugPanel.setVisible(true);
  posPanel.setVisible(false);
  posPanel.setBounds(10,230,490,250);
  accept.setBounds(510,40,80,110);
  hint.setBounds(10,150,490,35);
  errorMessage.setBounds(10,180,490,20);
  learner.add(run);
  learner.add(wikiPane);
  learner.add(adv);
  learner.add(advanced);
  learner.add(sugPanel);
  learner.add(addButtonPanel);
  learner.add(hint);
  learner.add(errorMessage);
  learner.add(posPanel);
  detail=new MoreDetailForSuggestedConceptsPanel(model);
  add(learner);
}

Fixed version (ground truth):
/** 
 * This Method renders the view of the plugin.
 */
public void makeView(){
  run.setEnabled(false);
  model.clearVector();
  hint.setText("String_Node_Str");
  isInconsistent=false;
  readThread=new ReadingOntologyThread(editorKit,null,this,model);
  readThread.start();
  hint.setVisible(true);
  advanced.setIcon(icon);
  accept.setEnabled(false);
  action.resetToggled();
  addButtonPanel.add("String_Node_Str",accept);
  sugPanel.setSuggestList(model.getSuggestList());
  sugPanel=sugPanel.updateSuggestClassList();
  advanced.setSelected(false);
  sugPanel.setBounds(10,35,490,110);
  adv.setBounds(40,200,200,20);
  wikiPane.setBounds(220,0,350,30);
  addButtonPanel.setBounds(510,40,80,110);
  run.setBounds(10,0,200,30);
  advanced.setBounds(10,200,20,20);
  sugPanel.setVisible(true);
  posPanel.setVisible(false);
  posPanel.setBounds(10,230,490,250);
  accept.setBounds(510,40,80,110);
  hint.setBounds(10,150,490,35);
  errorMessage.setBounds(10,180,490,20);
  learner.add(run);
  learner.add(wikiPane);
  learner.add(adv);
  learner.add(advanced);
  learner.add(sugPanel);
  learner.add(addButtonPanel);
  learner.add(hint);
  learner.add(errorMessage);
  learner.add(posPanel);
  detail=new MoreDetailForSuggestedConceptsPanel(model);
}
Program: 10013
Project: 10013
Buggy source:
/** 
 * This is the constructor for the action handler.
 * @param a ActionHandler
 * @param m DLLearnerModel
 * @param view DLlearner tab
 * @param i id if it is a subclass or an equivalent class
 */
public ActionHandler(ActionHandler a,DLLearnerModel m,DLLearnerView view,String i){
  this.view=view;
  this.id=i;
  this.model=m;
  toggled=false;
}

Fixed version (ground truth):
/** 
 * This is the constructor for the action handler.
 * @param a ActionHandler
 * @param m DLLearnerModel
 * @param view DLlearner tab
 * @param i id if it is a subclass or an equivalent class
 */
public ActionHandler(DLLearnerModel m,DLLearnerView view,String i){
  this.view=view;
  this.id=i;
  this.model=m;
  toggled=false;
}
Program: 10014
Project: 10014
Buggy source:
/** 
 * This is the constructor for DL-Learner model.
 * @param editorKit Editor Kit to get the currently loaded Ontology
 * @param id String if it learns a subclass or a superclass.
 * @param view current view of the DL-Learner tab
 */
public DLLearnerModel(OWLEditorKit editorKit,String id,DLLearnerView view){
  editor=editorKit;
  this.id=id;
  this.view=view;
  ontologyConsistent=true;
  instancesCount=0;
  owlDescription=new HashSet<OWLDescription>();
  ComponentManager.setComponentClasses(componenten);
  cm=ComponentManager.getInstance();
  ds=new HashSet<OWLDescription>();
  suggestModel=new DefaultListModel();
  ontologieURI=new HashSet<String>();
  sources=new HashSet<KnowledgeSource>();
}

Fixed version (ground truth):
/** 
 * This is the constructor for DL-Learner model.
 * @param editorKit Editor Kit to get the currently loaded Ontology
 * @param id String if it learns a subclass or a superclass.
 * @param view current view of the DL-Learner tab
 */
public DLLearnerModel(OWLEditorKit editorKit,DLLearnerView view){
  editor=editorKit;
  this.view=view;
  ontologyConsistent=true;
  instancesCount=0;
  owlDescription=new HashSet<OWLDescription>();
  ComponentManager.setComponentClasses(componenten);
  cm=ComponentManager.getInstance();
  ds=new HashSet<OWLDescription>();
  suggestModel=new DefaultListModel();
  ontologieURI=new HashSet<String>();
  sources=new HashSet<KnowledgeSource>();
}
Program: 10015
Project: 10015
Buggy source:
/** 
 * This method sets the Learning problem for the learning process. PosNegDefinitonLp for equivalent classes and PosNegInclusionLP for super classes.
 */
public void setLearningProblem(){
  lp=cm.learningProblem(ClassLearningProblem.class,reasoner);
  cm.applyConfigEntry(lp,"String_Node_Str",currentConcept.toString());
  if (id.equals(EQUIVALENT_CLASS_AXIOM_STRING)) {
    cm.applyConfigEntry(lp,"String_Node_Str",EQUIVALENT_CLASS_LEARNING);
  }
  if (id.equals(SUPER_CLASS_AXIOM_STRING)) {
    cm.applyConfigEntry(lp,"String_Node_Str",SUPER_CLASS_LEARNING);
  }
  try {
    lp.init();
  }
 catch (  ComponentInitException e) {
    e.printStackTrace();
  }
}

Fixed version (ground truth):
/** 
 * This method sets the Learning problem for the learning process. PosNegDefinitonLp for equivalent classes and PosNegInclusionLP for super classes.
 */
public void setLearningProblem(){
  lp=cm.learningProblem(ClassLearningProblem.class,reasoner);
  cm.applyConfigEntry(lp,"String_Node_Str",currentConcept.toString());
  System.out.println("String_Node_Str" + currentConcept);
  if (id.equals(EQUIVALENT_CLASS_AXIOM_STRING)) {
    cm.applyConfigEntry(lp,"String_Node_Str",EQUIVALENT_CLASS_LEARNING);
  }
  if (id.equals(SUPER_CLASS_AXIOM_STRING)) {
    cm.applyConfigEntry(lp,"String_Node_Str",SUPER_CLASS_LEARNING);
  }
  try {
    lp.init();
  }
 catch (  ComponentInitException e) {
    e.printStackTrace();
  }
}
Program: 10017
Project: 10017
Buggy source:
public void dispose(){
  this.unsetEverything();
  sugPanel.getSuggestList().removeAll();
  learner.removeAll();
  model.getSuggestModel().clear();
  model.getIndividual().clear();
}

Fixed version (ground truth):
public void dispose(){
  this.unsetEverything();
  sugPanel.getSuggestList().removeAll();
  learner.removeAll();
  sugPanel=null;
  model.getSuggestModel().clear();
  model.getIndividual().clear();
}
Program: 10018
Project: 10018
Buggy source:
/** 
 * The constructor for the DL-Learner tab in the class description editor.
 * @param editor OWLEditorKit
 * @param label String
 */
public DLLearnerView(String label,OWLEditorKit editor){
  this.label=label;
  editorKit=editor;
}

Fixed version (ground truth):
/** 
 * The constructor for the DL-Learner tab in the class description editor.
 * @param editor OWLEditorKit
 * @param label String
 */
public DLLearnerView(String label,OWLEditorKit editor){
  this.label=label;
  editorKit=editor;
  model=new DLLearnerModel(editorKit,this);
  model.setID(label);
  sugPanel=new SuggestClassPanel();
  action=new ActionHandler(model,this,label);
  wikiPane=new JLabel("String_Node_Str");
  URL iconUrl=this.getClass().getResource("String_Node_Str");
  icon=new ImageIcon(iconUrl);
  URL toggledIconUrl=this.getClass().getResource("String_Node_Str");
  toggledIcon=new ImageIcon(toggledIconUrl);
  adv=new JLabel("String_Node_Str");
  advanced=new JToggleButton(icon);
  advanced.setVisible(true);
  run=new JButton(label);
  accept=new JButton("String_Node_Str");
  addButtonPanel=new JPanel(new BorderLayout());
  sugPanel.addSuggestPanelMouseListener(action);
  errorMessage=new JTextArea();
  errorMessage.setEditable(false);
  hint=new JTextArea();
  hint.setEditable(false);
  hint.setText("String_Node_Str");
  learner=new JPanel();
  advanced.setSize(20,20);
  learner.setLayout(null);
  learner.setPreferredSize(new Dimension(600,520));
  accept.setPreferredSize(new Dimension(290,50));
  advanced.setName("String_Node_Str");
  posPanel=new PosAndNegSelectPanel(model,action);
  addAcceptButtonListener(this.action);
  addRunButtonListener(this.action);
  addAdvancedButtonListener(this.action);
}
Program: 10019
Project: 10019
Buggy source:
@Override public Set<OWLDescription> getDescriptions(){
  return view.getDLLearnerModel().getNewOWLDescription();
}

Fixed version (ground truth):
@Override public Set<OWLDescription> getDescriptions(){
  return view.getSolutions();
}
Program: 10020
Project: 10020
Buggy source:
@Override public boolean isValidInput(){
  System.out.println("String_Node_Str" + super.getOWLEditorKit().getOWLWorkspace().getOWLSelectionModel().getLastSelectedClass());
  view=new DLLearnerView("String_Node_Str",this.getOWLEditorKit());
  view.makeView();
  return true;
}

Fixed version (ground truth):
@Override public boolean isValidInput(){
  view.makeView();
  return true;
}
Program: 10021
Project: 10021
Buggy source:
@Override public void removeStatusChangedListener(InputVerificationStatusChangedListener arg0){
  view.dispose();
  view=null;
}

Fixed version (ground truth):
@Override public void removeStatusChangedListener(InputVerificationStatusChangedListener arg0){
}
Program: 10023
Project: 10023
Buggy source:
/** 
 * this method adds an new Scroll Panel and returns the updated SuggestClassPanel.
 * @return updated SuggestClassPanel
 */
public SuggestClassPanel updateSuggestClassList(){
  suggestScroll=new JScrollPane();
  suggestScroll=new JScrollPane(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
  descriptions=new JList();
  descriptions.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
  suggestPanel=new JPanel();
  descriptions.setVisible(true);
  suggestPanel.add(descriptions);
  suggestScroll.setPreferredSize(new Dimension(490,108));
  suggestScroll.setViewportView(descriptions);
  descriptions.setCellRenderer(new SuggestListCellRenderer());
  add(suggestScroll);
  return this;
}

Fixed version (ground truth):
/** 
 * this method adds an new Scroll Panel and returns the updated SuggestClassPanel.
 * @return updated SuggestClassPanel
 */
public SuggestClassPanel updateSuggestClassList(){
  add(suggestScroll);
  return this;
}
Program: 10025
Project: 10025
Buggy source:
@Override public Set<OWLDescription> getDescriptions(){
  System.out.println("String_Node_Str");
  return null;
}

Fixed version (ground truth):
@Override public Set<OWLDescription> getDescriptions(){
  return view.getDLLearnerModel().getNewOWLDescription();
}
Program: 10026
Project: 10026
Buggy source:
@Override public void addStatusChangedListener(InputVerificationStatusChangedListener arg0){
  System.out.println("String_Node_Str");
}

Fixed version (ground truth):
@Override public void addStatusChangedListener(InputVerificationStatusChangedListener arg0){
}
Program: 10027
Project: 10027
Buggy source:
@Override public boolean isValidInput(){
  System.out.println("String_Node_Str");
  view=new DLLearnerView("String_Node_Str",this.getOWLEditorKit());
  return true;
}

Fixed version (ground truth):
@Override public boolean isValidInput(){
  System.out.println("String_Node_Str" + super.getOWLEditorKit().getOWLWorkspace().getOWLSelectionModel().getLastSelectedClass());
  System.out.println("String_Node_Str" + super.getOWLEditorKit().getWorkspace());
  view=new DLLearnerView("String_Node_Str",this.getOWLEditorKit());
  return true;
}
Program: 10028
Project: 10028
Buggy source:
@Override public void removeStatusChangedListener(InputVerificationStatusChangedListener arg0){
  System.out.println("String_Node_Str");
  view=null;
}

Fixed version (ground truth):
@Override public void removeStatusChangedListener(InputVerificationStatusChangedListener arg0){
  view=null;
}
Program: 10029
Project: 10029
Buggy source:
@Override public void dispose() throws Exception {
  System.out.println("String_Node_Str");
}

Fixed version (ground truth):
@Override public void dispose() throws Exception {
  view=null;
}
Program: 10030
Project: 10030
Buggy source:
@Override public JComponent getComponent(){
  System.out.println("String_Node_Str");
  return view.getLearnerView();
}

Fixed version (ground truth):
@Override public JComponent getComponent(){
  return view.getLearnerView();
}
Program: 10031
Project: 10031
Buggy source:
@Override public boolean setDescription(OWLDescription arg0){
  System.out.println("String_Node_Str");
  return true;
}

Fixed version (ground truth):
@Override public boolean setDescription(OWLDescription arg0){
  return true;
}