Program: 55260
Project: 55260
Buggy source:
/** 
 * Creates the initial execution vertices managed by this group vertex.
 * @param initialNumberOfVertices the initial number of execution vertices
 * @throws GraphConversionException thrown if the number of execution vertices for this group vertex cannot be set to the desired value
 */
void createInitialExecutionVertices(final int initalNumberOfVertices) throws GraphConversionException {
  if (initalNumberOfVertices == this.getCurrentNumberOfGroupMembers()) {
    return;
  }
  if (this.getCurrentNumberOfGroupMembers() != 1) {
    throw new IllegalStateException("String_Node_Str");
  }
  if (this.userDefinedNumberOfMembers != -1) {
    if (this.userDefinedNumberOfMembers == getCurrentNumberOfGroupMembers()) {
      throw new GraphConversionException("String_Node_Str");
    }
  }
  if (initalNumberOfVertices < this.getMinimumNumberOfGroupMember()) {
    throw new GraphConversionException("String_Node_Str" + this.getMinimumNumberOfGroupMember());
  }
  if ((this.getMaximumNumberOfGroupMembers() != -1) && (initalNumberOfVertices > this.getMaximumNumberOfGroupMembers())) {
    throw new GraphConversionException("String_Node_Str" + this.getMaximumNumberOfGroupMembers());
  }
  final ExecutionVertex originalVertex=this.getGroupMember(0);
  int currentNumberOfExecutionVertices=this.getCurrentNumberOfGroupMembers();
  while (currentNumberOfExecutionVertices++ < initalNumberOfVertices) {
    final ExecutionVertex vertex=originalVertex.splitVertex();
    vertex.setAllocatedResource(new AllocatedResource(DummyInstance.createDummyInstance(this.instanceType),this.instanceType,null));
    this.groupMembers.add(vertex);
  }
  int index=0;
  final Iterator<ExecutionVertex> it=this.groupMembers.iterator();
  while (it.hasNext()) {
    final ExecutionVertex vertex=it.next();
    vertex.setIndexInVertexGroup(index++);
  }
}

Fixed version (ground truth):
/** 
 * Creates the initial execution vertices managed by this group vertex.
 * @param initialNumberOfVertices the initial number of execution vertices
 * @throws GraphConversionException thrown if the number of execution vertices for this group vertex cannot be set to the desired value
 */
void createInitialExecutionVertices(final int initalNumberOfVertices) throws GraphConversionException {
  if (initalNumberOfVertices == this.getCurrentNumberOfGroupMembers()) {
    return;
  }
  if (this.getCurrentNumberOfGroupMembers() != 1) {
    throw new IllegalStateException("String_Node_Str");
  }
  if (this.userDefinedNumberOfMembers != -1 && this.userDefinedNumberOfMembers == getCurrentNumberOfGroupMembers()) {
    throw new GraphConversionException("String_Node_Str");
  }
  if (initalNumberOfVertices < this.getMinimumNumberOfGroupMember()) {
    throw new GraphConversionException("String_Node_Str" + this.getMinimumNumberOfGroupMember());
  }
  if ((this.getMaximumNumberOfGroupMembers() != -1) && (initalNumberOfVertices > this.getMaximumNumberOfGroupMembers())) {
    throw new GraphConversionException("String_Node_Str" + this.getMaximumNumberOfGroupMembers());
  }
  final ExecutionVertex originalVertex=this.getGroupMember(0);
  int currentNumberOfExecutionVertices=this.getCurrentNumberOfGroupMembers();
  while (currentNumberOfExecutionVertices++ < initalNumberOfVertices) {
    final ExecutionVertex vertex=originalVertex.splitVertex();
    vertex.setAllocatedResource(new AllocatedResource(DummyInstance.createDummyInstance(this.instanceType),this.instanceType,null));
    this.groupMembers.add(vertex);
  }
  int index=0;
  final Iterator<ExecutionVertex> it=this.groupMembers.iterator();
  while (it.hasNext()) {
    final ExecutionVertex vertex=it.next();
    vertex.setIndexInVertexGroup(index++);
  }
}