Program: 64063
Project: 64063
Buggy source:
@Override public synchronized void buildStack(Stack stack,String userData,Map<String,Object> setupProperties){
  AwsTemplate awsTemplate=(AwsTemplate)stack.getTemplate();
  AwsCredential awsCredential=(AwsCredential)stack.getCredential();
  AmazonCloudFormationClient client=awsStackUtil.createCloudFormationClient(awsTemplate.getRegion(),awsCredential);
  String stackName=String.format("String_Node_Str",stack.getName(),stack.getId());
  CreateStackRequest createStackRequest=createStackRequest().withStackName(stackName).withTemplateBody(cfTemplate.getBody()).withNotificationARNs((String)setupProperties.get(SnsTopicManager.NOTIFICATION_TOPIC_ARN_KEY)).withParameters(new Parameter().withParameterKey("String_Node_Str").withParameterValue(awsTemplate.getSshLocation()),new Parameter().withParameterKey("String_Node_Str").withParameterValue(userData),new Parameter().withParameterKey("String_Node_Str").withParameterValue(stackName),new Parameter().withParameterKey("String_Node_Str").withParameterValue(stack.getNodeCount().toString()),new Parameter().withParameterKey("String_Node_Str").withParameterValue(awsTemplate.getInstanceType().toString()),new Parameter().withParameterKey("String_Node_Str").withParameterValue(awsTemplate.getKeyName()),new Parameter().withParameterKey("String_Node_Str").withParameterValue(awsTemplate.getAmiId()));
  CreateStackResult createStackResult=client.createStack(createStackRequest);
  Set<Resource> resources=new HashSet<>();
  resources.add(new Resource(ResourceType.CLOUDFORMATION_TEMPLATE_NAME,stackName,stack));
  Stack updatedStack=stackUpdater.updateStackResources(stack.getId(),resources);
  LOGGER.info("String_Node_Str",stackName,updatedStack.getId());
}

Fixed version (ground truth):
@Override public synchronized void buildStack(Stack stack,String userData,Map<String,Object> setupProperties){
  AwsTemplate awsTemplate=(AwsTemplate)stack.getTemplate();
  AwsCredential awsCredential=(AwsCredential)stack.getCredential();
  AmazonCloudFormationClient client=awsStackUtil.createCloudFormationClient(awsTemplate.getRegion(),awsCredential);
  String stackName=String.format("String_Node_Str",stack.getName(),stack.getId());
  CreateStackRequest createStackRequest=createStackRequest().withStackName(stackName).withTemplateBody(cfTemplate.getBody()).withNotificationARNs((String)setupProperties.get(SnsTopicManager.NOTIFICATION_TOPIC_ARN_KEY)).withParameters(new Parameter().withParameterKey("String_Node_Str").withParameterValue(awsTemplate.getSshLocation()),new Parameter().withParameterKey("String_Node_Str").withParameterValue(userData),new Parameter().withParameterKey("String_Node_Str").withParameterValue(stackName),new Parameter().withParameterKey("String_Node_Str").withParameterValue(stack.getNodeCount().toString()),new Parameter().withParameterKey("String_Node_Str").withParameterValue(awsTemplate.getInstanceType().toString()),new Parameter().withParameterKey("String_Node_Str").withParameterValue(awsTemplate.getKeyName()),new Parameter().withParameterKey("String_Node_Str").withParameterValue(awsTemplate.getAmiId()));
  CreateStackResult createStackResult=client.createStack(createStackRequest);
  Set<Resource> resources=new HashSet<>();
  resources.add(new Resource(ResourceType.CLOUDFORMATION_STACK,stackName,stack));
  Stack updatedStack=stackUpdater.updateStackResources(stack.getId(),resources);
  LOGGER.info("String_Node_Str",stackName,updatedStack.getId());
}