Program: 158344
Project: 158344
Buggy source:
public Vintage(){
  super("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
}

Fixed version (ground truth):
public Vintage(){
  super("String_Node_Str");
  for (  ExpansionSet set : Sets.getInstance().values()) {
    if (set.getSetType() != SetType.CUSTOM_SET) {
      setCodes.add(set.getCode());
    }
  }
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  banned.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
  restricted.add("String_Node_Str");
}