Program: 93785
Project: 93785
Buggy source:
private String downloadContainerIntoFolder(String urlPath,File resOutputDir){
  if (urlPath == null)   return null;
  if (resOutputDir == null || !resOutputDir.exists())   return null;
  if (!resOutputDir.isDirectory() || !resOutputDir.canRead() || !resOutputDir.canWrite())   return null;
  URL url;
  try {
    url=new URL(urlPath);
  }
 catch (  MalformedURLException e) {
    e.printStackTrace();
    return null;
  }
  if (url.getProtocol() != "String_Node_Str" && url.getProtocol() != "String_Node_Str")   return null;
  int finalSeparatorIndex=url.getPath().lastIndexOf("String_Node_Str");
  String containerName=url.getPath().substring(finalSeparatorIndex);
  if (containerName == null || containerName.isEmpty())   return null;
  int extensionIndex=containerName.lastIndexOf("String_Node_Str");
  String extension=containerName.substring(extensionIndex);
  if (!extension.equals("String_Node_Str") && !extension.equals("String_Node_Str"))   return null;
  File checkFile=new File(resOutputDir.getAbsolutePath() + "String_Node_Str" + containerName);
  String finalContainerName;
  if (checkFile.exists()) {
    int currentIndex=0;
    do {
      currentIndex++;
      finalContainerName=containerName.substring(0,extensionIndex) + currentIndex + extension;
      checkFile=new File(resOutputDir.getAbsolutePath() + "String_Node_Str" + finalContainerName);
    }
 while (checkFile.exists());
  }
 else {
    finalContainerName=containerName;
  }
  URLConnection urlConnection=null;
  InputStream inputStream=null;
  OutputStream outputStream=null;
  String localContainerPath=resOutputDir.getAbsolutePath() + "String_Node_Str" + finalContainerName;
  activeNetworkInfo=mConnectivityManager.getActiveNetworkInfo();
  if (activeNetworkInfo != null && activeNetworkInfo.isConnected()) {
    try {
      if (url.getProtocol() != "String_Node_Str") {
        urlConnection=(HttpsURLConnection)url.openConnection();
      }
 else {
        urlConnection=(HttpURLConnection)url.openConnection();
      }
      urlConnection.connect();
      Log.i(TAG_SECURE_FACTORY,"String_Node_Str" + url.toString());
      inputStream=urlConnection.getInputStream();
      outputStream=new FileOutputStream(localContainerPath);
      int read=0;
      byte[] bytes=new byte[1024];
      while ((read=inputStream.read(bytes)) != -1) {
        outputStream.write(bytes,0,read);
      }
      Log.i(TAG_SECURE_FACTORY,"String_Node_Str" + localContainerPath);
    }
 catch (    IOException e) {
      e.printStackTrace();
      return null;
    }
 finally {
      if (inputStream != null) {
        try {
          inputStream.close();
        }
 catch (        IOException e) {
          e.printStackTrace();
        }
      }
      if (outputStream != null) {
        try {
          outputStream.close();
        }
 catch (        IOException e) {
          e.printStackTrace();
        }
      }
      if (urlConnection != null)       ((HttpURLConnection)urlConnection).disconnect();
      Log.i(TAG_SECURE_FACTORY,"String_Node_Str");
    }
    return localContainerPath;
  }
  Log.i(TAG_SECURE_FACTORY,"String_Node_Str");
  return null;
}

Fixed version (ground truth):
private String downloadContainerIntoFolder(String urlPath,File resOutputDir){
  if (urlPath == null)   return null;
  if (resOutputDir == null || !resOutputDir.exists())   return null;
  if (!resOutputDir.isDirectory() || !resOutputDir.canRead() || !resOutputDir.canWrite())   return null;
  URL url;
  try {
    url=new URL(urlPath);
  }
 catch (  MalformedURLException e) {
    e.printStackTrace();
    return null;
  }
  if (!url.getProtocol().equals("String_Node_Str") && !url.getProtocol().equals("String_Node_Str"))   return null;
  int finalSeparatorIndex=url.getPath().lastIndexOf("String_Node_Str");
  String containerName=url.getFile().substring(finalSeparatorIndex);
  if (containerName == null || containerName.isEmpty())   return null;
  int extensionIndex=containerName.lastIndexOf("String_Node_Str");
  String extension=containerName.substring(extensionIndex);
  if (!extension.equals("String_Node_Str") && !extension.equals("String_Node_Str"))   return null;
  File checkFile=new File(resOutputDir.getAbsolutePath() + containerName);
  String finalContainerName;
  if (checkFile.exists()) {
    int currentIndex=0;
    do {
      currentIndex++;
      finalContainerName=containerName.substring(0,extensionIndex) + currentIndex + extension;
      checkFile=new File(resOutputDir.getAbsolutePath() + finalContainerName);
    }
 while (checkFile.exists());
  }
 else {
    finalContainerName=containerName;
  }
  HttpURLConnection urlConnection=null;
  InputStream inputStream=null;
  OutputStream outputStream=null;
  String localContainerPath=resOutputDir.getAbsolutePath() + finalContainerName;
  activeNetworkInfo=mConnectivityManager.getActiveNetworkInfo();
  if (activeNetworkInfo != null && activeNetworkInfo.isConnected()) {
    try {
      if (url.getProtocol().equals("String_Node_Str")) {
        urlConnection=(HttpsURLConnection)url.openConnection();
      }
 else {
        urlConnection=(HttpURLConnection)url.openConnection();
      }
      Log.i(TAG_SECURE_FACTORY,"String_Node_Str" + url.toString());
      inputStream=new BufferedInputStream(urlConnection.getInputStream());
      outputStream=new FileOutputStream(localContainerPath);
      int read=0;
      byte[] bytes=new byte[1024];
      while ((read=inputStream.read(bytes)) > 0) {
        outputStream.write(bytes,0,read);
      }
      Log.i(TAG_SECURE_FACTORY,"String_Node_Str" + localContainerPath);
    }
 catch (    IOException e) {
      return null;
    }
 finally {
      Log.i(TAG_SECURE_FACTORY,"String_Node_Str");
      if (urlConnection != null)       ((HttpURLConnection)urlConnection).disconnect();
      if (inputStream != null) {
        try {
          inputStream.close();
        }
 catch (        IOException e) {
          e.printStackTrace();
        }
      }
      if (outputStream != null) {
        try {
          outputStream.close();
        }
 catch (        IOException e) {
          e.printStackTrace();
        }
      }
 else {
        return null;
      }
    }
    return localContainerPath;
  }
  Log.i(TAG_SECURE_FACTORY,"String_Node_Str");
  return null;
}