Program: 113441
Project: 113441
Buggy source:
@Override public void volumeNameToMRCUUID(String volumeName,UUIDIterator uuidIterator) throws VolumeNotFoundException, AddressToUUIDNotFoundException {
  assert(uuidIterator != null);
  assert(!volumeName.isEmpty());
  if (Logging.isDebug()) {
    Logging.logMessage(Logging.LEVEL_DEBUG,Category.misc,this,"String_Node_Str",volumeName);
  }
  String parsedVolumeName=parseVolumeName(volumeName);
  ServiceSet sSet=null;
  try {
    sSet=RPCCaller.<String,ServiceSet>syncCall(SERVICES.DIR,this.dirServiceUserCredentials,this.dirServiceAuth,this.options,this,this.dirServiceAddresses,true,parsedVolumeName,new CallGenerator<String,ServiceSet>(){
      @Override public RPCResponse<ServiceSet> executeCall(      InetSocketAddress server,      Auth authHeader,      UserCredentials userCreds,      String input) throws IOException {
        return ClientImplementation.this.dirServiceClient.xtreemfs_service_get_by_name(server,authHeader,userCreds,input);
      }
    }
);
  }
 catch (  IOException e) {
    if (Logging.isDebug()) {
      Logging.logMessage(Logging.LEVEL_DEBUG,Category.misc,this,"String_Node_Str" + "String_Node_Str",volumeName,e.getMessage());
      throw new VolumeNotFoundException(parsedVolumeName);
    }
  }
  boolean mrcFound=false;
  for (  Service service : sSet.getServicesList()) {
    if (service.getType().equals(ServiceType.SERVICE_TYPE_VOLUME) && service.getName().equals(parsedVolumeName)) {
      for (      KeyValuePair kvp : service.getData().getDataList()) {
        if (kvp.getKey().substring(0,3).equals("String_Node_Str")) {
          if (Logging.isDebug()) {
            Logging.logMessage(Logging.LEVEL_DEBUG,Category.misc,this,"String_Node_Str" + "String_Node_Str",kvp.getValue(),kvp.getKey());
          }
          uuidIterator.addUUID(kvp.getValue());
          mrcFound=true;
        }
      }
    }
  }
  if (!mrcFound) {
    if (Logging.isDebug()) {
      Logging.logMessage(Logging.LEVEL_DEBUG,Category.misc,this,"String_Node_Str",parsedVolumeName);
    }
    throw new VolumeNotFoundException(parsedVolumeName);
  }
}

Fixed version (ground truth):
@Override public void volumeNameToMRCUUID(String volumeName,UUIDIterator uuidIterator) throws VolumeNotFoundException, AddressToUUIDNotFoundException {
  assert(uuidIterator != null);
  assert(!volumeName.isEmpty());
  if (Logging.isDebug()) {
    Logging.logMessage(Logging.LEVEL_DEBUG,Category.misc,this,"String_Node_Str",volumeName);
  }
  String parsedVolumeName=parseVolumeName(volumeName);
  ServiceSet sSet=null;
  try {
    sSet=RPCCaller.<String,ServiceSet>syncCall(SERVICES.DIR,this.dirServiceUserCredentials,this.dirServiceAuth,this.options,this,this.dirServiceAddresses,true,parsedVolumeName,new CallGenerator<String,ServiceSet>(){
      @Override public RPCResponse<ServiceSet> executeCall(      InetSocketAddress server,      Auth authHeader,      UserCredentials userCreds,      String input) throws IOException {
        return ClientImplementation.this.dirServiceClient.xtreemfs_service_get_by_name(server,authHeader,userCreds,input);
      }
    }
);
  }
 catch (  IOException e) {
    if (Logging.isDebug()) {
      Logging.logMessage(Logging.LEVEL_DEBUG,Category.misc,this,"String_Node_Str" + "String_Node_Str",volumeName,e.getMessage());
    }
    throw new VolumeNotFoundException(parsedVolumeName);
  }
  boolean mrcFound=false;
  for (  Service service : sSet.getServicesList()) {
    if (service.getType().equals(ServiceType.SERVICE_TYPE_VOLUME) && service.getName().equals(parsedVolumeName)) {
      for (      KeyValuePair kvp : service.getData().getDataList()) {
        if (kvp.getKey().substring(0,3).equals("String_Node_Str")) {
          if (Logging.isDebug()) {
            Logging.logMessage(Logging.LEVEL_DEBUG,Category.misc,this,"String_Node_Str" + "String_Node_Str",kvp.getValue(),kvp.getKey());
          }
          uuidIterator.addUUID(kvp.getValue());
          mrcFound=true;
        }
      }
    }
  }
  if (!mrcFound) {
    if (Logging.isDebug()) {
      Logging.logMessage(Logging.LEVEL_DEBUG,Category.misc,this,"String_Node_Str",parsedVolumeName);
    }
    throw new VolumeNotFoundException(parsedVolumeName);
  }
}