Program: 47207
Project: 47207
Buggy source:
/** 
 * Test the RendererConfiguration class and the consistency of the renderer .conf files it reads. This is done by feeding it known headers and checking whether it recognizes the correct renderer.
 */
@Test public void testKnownHeaders(){
  PmsConfiguration pmsConf=null;
  try {
    pmsConf=new PmsConfiguration(false);
  }
 catch (  ConfigurationException e) {
  }
  loadRendererConfigurations(pmsConf);
  testHeaders(null,"String_Node_Str");
  testHeaders(null,"String_Node_Str");
  testHeaders(null,"String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
}

Fixed version (ground truth):
/** 
 * Test the RendererConfiguration class and the consistency of the renderer .conf files it reads. This is done by feeding it known headers and checking whether it recognizes the correct renderer.
 */
@Test public void testKnownHeaders(){
  PmsConfiguration pmsConf=null;
  try {
    pmsConf=new PmsConfiguration(false);
  }
 catch (  ConfigurationException e) {
  }
  loadRendererConfigurations(pmsConf);
  testHeaders(null,"String_Node_Str");
  testHeaders(null,"String_Node_Str");
  testHeaders(null,"String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
  testHeaders("String_Node_Str","String_Node_Str");
}