Program: 110152
Project: 110152
Buggy source:
protected LocationResolver() throws IOException {
  logger.info("String_Node_Str");
  this.usePlace=CarmenProperties.getBoolean("String_Node_Str");
  this.useGeocodes=CarmenProperties.getBoolean("String_Node_Str");
  this.useUserString=CarmenProperties.getBoolean("String_Node_Str");
  this.useKnownParentForUnknownPlaces=CarmenProperties.getBoolean("String_Node_Str");
  this.useUnknownPlaces=CarmenProperties.getBoolean("String_Node_Str");
  logger.info("String_Node_Str");
  if (this.usePlace)   logger.info("String_Node_Str");
  if (this.useGeocodes)   logger.info("String_Node_Str");
  if (this.useUserString)   logger.info("String_Node_Str");
  logger.info("String_Node_Str");
  loadLocationFile(CarmenProperties.getString("String_Node_Str"));
  this.idToLocation.put(-1,Location.getNoneLocation());
  HashSet<Location> knownLocations=new HashSet<Location>();
  for (  Location location : this.idToLocation.values()) {
    knownLocations.add(location);
  }
  for (  Location location : knownLocations) {
    Location parent=this.idToLocation.get(location.getParentId());
    if (parent != null) {
      this.locationToParent.put(location,parent);
      if (!this.locationToChildren.containsKey(parent))       this.locationToChildren.put(parent,new LinkedList<Location>());
      this.locationToChildren.get(parent).add(location);
    }
  }
  if (this.usePlace) {
    loadNameAndAbbreviation(CarmenProperties.getString("String_Node_Str"),null,this.placeNameToNormalizedPlaceName,false);
  }
  loadNameAndAbbreviation(CarmenProperties.getString("String_Node_Str"),this.stateFullNames,this.stateAbbreviationToFullName,true);
  loadNameAndAbbreviation(CarmenProperties.getString("String_Node_Str"),this.countryFullNames,this.countryAbbreviationToFullName,true);
  if (this.useGeocodes) {
    this.geocodeLocationResolver=new GeocodeLocationResolver();
    for (    Location location : this.idToLocation.values())     this.geocodeLocationResolver.addLocation(location);
  }
}

Fixed version (ground truth):
protected LocationResolver() throws IOException {
  this.usePlace=CarmenProperties.getBoolean("String_Node_Str");
  this.useGeocodes=CarmenProperties.getBoolean("String_Node_Str");
  this.useUserString=CarmenProperties.getBoolean("String_Node_Str");
  this.useKnownParentForUnknownPlaces=CarmenProperties.getBoolean("String_Node_Str");
  this.useUnknownPlaces=CarmenProperties.getBoolean("String_Node_Str");
  logger.info("String_Node_Str");
  if (this.usePlace)   logger.info("String_Node_Str");
  if (this.useGeocodes)   logger.info("String_Node_Str");
  if (this.useUserString)   logger.info("String_Node_Str");
  logger.info("String_Node_Str" + useKnownParentForUnknownPlaces);
  logger.info("String_Node_Str" + useUnknownPlaces);
  logger.info("String_Node_Str");
  loadLocationFile(CarmenProperties.getString("String_Node_Str"));
  this.idToLocation.put(-1,Location.getNoneLocation());
  HashSet<Location> knownLocations=new HashSet<Location>();
  for (  Location location : this.idToLocation.values()) {
    knownLocations.add(location);
  }
  for (  Location location : knownLocations) {
    Location parent=this.idToLocation.get(location.getParentId());
    if (parent != null) {
      this.locationToParent.put(location,parent);
      if (!this.locationToChildren.containsKey(parent))       this.locationToChildren.put(parent,new LinkedList<Location>());
      this.locationToChildren.get(parent).add(location);
    }
  }
  if (this.usePlace) {
    loadNameAndAbbreviation(CarmenProperties.getString("String_Node_Str"),null,this.placeNameToNormalizedPlaceName,false);
  }
  loadNameAndAbbreviation(CarmenProperties.getString("String_Node_Str"),this.stateFullNames,this.stateAbbreviationToFullName,true);
  loadNameAndAbbreviation(CarmenProperties.getString("String_Node_Str"),this.countryFullNames,this.countryAbbreviationToFullName,true);
  if (this.useGeocodes) {
    this.geocodeLocationResolver=new GeocodeLocationResolver();
    for (    Location location : this.idToLocation.values())     this.geocodeLocationResolver.addLocation(location);
  }
}