Program: 9843
Project: 9843
Buggy source:
public static Collection<ConfigOption<?>> createConfigOptions(){
  Collection<ConfigOption<?>> options=new LinkedList<ConfigOption<?>>();
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",false));
  options.add(new StringConfigOption("String_Node_Str","String_Node_Str",defaultSearchTreeFile));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",false));
  StringConfigOption heuristicOption=new StringConfigOption("String_Node_Str","String_Node_Str","String_Node_Str");
  heuristicOption.setAllowedValues(new String[]{"String_Node_Str","String_Node_Str"});
  options.add(heuristicOption);
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  DoubleConfigOption horizExp=new DoubleConfigOption("String_Node_Str","String_Node_Str",0.6);
  horizExp.setLowerLimit(0.0);
  horizExp.setUpperLimit(1.0);
  options.add(horizExp);
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  options.add(CommonConfigOptions.allowedConcepts());
  options.add(CommonConfigOptions.ignoredConcepts());
  options.add(CommonConfigOptions.allowedRoles());
  options.add(CommonConfigOptions.ignoredRoles());
  options.add(CommonConfigOptions.useAllConstructor());
  options.add(CommonConfigOptions.useExistsConstructor());
  options.add(CommonConfigOptions.useHasValueConstructor());
  options.add(CommonConfigOptions.valueFreqencyThreshold());
  options.add(CommonConfigOptions.useCardinalityRestrictions());
  options.add(CommonConfigOptions.cardinalityLimit());
  options.add(CommonConfigOptions.useNegation());
  options.add(CommonConfigOptions.useBooleanDatatypes());
  options.add(CommonConfigOptions.useDoubleDatatypes());
  options.add(CommonConfigOptions.useStringDatatypes());
  options.add(CommonConfigOptions.maxExecutionTimeInSeconds());
  options.add(CommonConfigOptions.minExecutionTimeInSeconds());
  options.add(CommonConfigOptions.guaranteeXgoodDescriptions());
  options.add(CommonConfigOptions.maxClassDescriptionTests());
  options.add(CommonConfigOptions.getLogLevel());
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",usePropernessChecksDefault));
  options.add(CommonConfigOptions.getNoisePercentage());
  options.add(CommonConfigOptions.getTerminateOnNoiseReached());
  options.add(new StringConfigOption("String_Node_Str","String_Node_Str"));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str"));
  options.add(new DoubleConfigOption("String_Node_Str","String_Node_Str",1.0));
  options.add(new DoubleConfigOption("String_Node_Str","String_Node_Str",0.0));
  options.add(new IntegerConfigOption("String_Node_Str","String_Node_Str",0));
  options.add(CommonConfigOptions.getExpansionPenaltyFactor(0.02));
  options.add(CommonConfigOptions.getInstanceBasedDisjoints());
  return options;
}

Fixed version (ground truth):
public static Collection<ConfigOption<?>> createConfigOptions(){
  Collection<ConfigOption<?>> options=new LinkedList<ConfigOption<?>>();
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",false));
  options.add(new StringConfigOption("String_Node_Str","String_Node_Str",defaultSearchTreeFile));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",false));
  StringConfigOption heuristicOption=new StringConfigOption("String_Node_Str","String_Node_Str","String_Node_Str");
  heuristicOption.setAllowedValues(new String[]{"String_Node_Str","String_Node_Str"});
  options.add(heuristicOption);
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  DoubleConfigOption horizExp=new DoubleConfigOption("String_Node_Str","String_Node_Str",0.6);
  horizExp.setLowerLimit(0.0);
  horizExp.setUpperLimit(1.0);
  options.add(horizExp);
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",true));
  options.add(CommonConfigOptions.allowedConcepts());
  options.add(CommonConfigOptions.ignoredConcepts());
  options.add(CommonConfigOptions.allowedRoles());
  options.add(CommonConfigOptions.ignoredRoles());
  options.add(CommonConfigOptions.useAllConstructor());
  options.add(CommonConfigOptions.useExistsConstructor());
  options.add(CommonConfigOptions.useHasValueConstructor());
  options.add(CommonConfigOptions.useDataHasValueConstructor());
  options.add(CommonConfigOptions.valueFreqencyThreshold());
  options.add(CommonConfigOptions.useCardinalityRestrictions());
  options.add(CommonConfigOptions.cardinalityLimit());
  options.add(CommonConfigOptions.useNegation());
  options.add(CommonConfigOptions.useBooleanDatatypes());
  options.add(CommonConfigOptions.useDoubleDatatypes());
  options.add(CommonConfigOptions.useStringDatatypes());
  options.add(CommonConfigOptions.maxExecutionTimeInSeconds());
  options.add(CommonConfigOptions.minExecutionTimeInSeconds());
  options.add(CommonConfigOptions.guaranteeXgoodDescriptions());
  options.add(CommonConfigOptions.maxClassDescriptionTests());
  options.add(CommonConfigOptions.getLogLevel());
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str",usePropernessChecksDefault));
  options.add(CommonConfigOptions.getNoisePercentage());
  options.add(CommonConfigOptions.getTerminateOnNoiseReached());
  options.add(new StringConfigOption("String_Node_Str","String_Node_Str"));
  options.add(new BooleanConfigOption("String_Node_Str","String_Node_Str"));
  options.add(new DoubleConfigOption("String_Node_Str","String_Node_Str",1.0));
  options.add(new DoubleConfigOption("String_Node_Str","String_Node_Str",0.0));
  options.add(new IntegerConfigOption("String_Node_Str","String_Node_Str",0));
  options.add(CommonConfigOptions.getExpansionPenaltyFactor(0.02));
  options.add(CommonConfigOptions.getInstanceBasedDisjoints());
  return options;
}