Program: 108925
Project: 108925
Buggy source:
public Resources(final Shell shell){
  this.shell=shell;
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  SimpleLayout layout=new SimpleLayout();
  ConsoleAppender consoleAppender=new ConsoleAppender(layout);
  LOGGER.addAppender(consoleAppender);
  LOGGER.setLevel(Level.INFO);
}

Fixed version (ground truth):
public Resources(final Shell shell){
  this.shell=shell;
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  DATE_FORMATS.add(this.getFormat("String_Node_Str"));
  SimpleLayout layout=new SimpleLayout();
  ConsoleAppender consoleAppender=new ConsoleAppender(layout);
  LOGGER.addAppender(consoleAppender);
  LOGGER.setLevel(Level.ALL);
}