Program: 17517
Project: 17517
Buggy source:
/** 
 * Checks if new version of Rashr is online and links to Play Store The current version number is stored on dslnexus.de/Android/rashr/version as plain text
 */
public void checkAppUpdates(){
  try {
    File versionsFile=new File(mContext.getFilesDir(),Const.VERSION);
    Downloader downloader=new Downloader(new URL(Const.RASHR_VERSION_URL),versionsFile);
    downloader.setOverrideFile(true);
    downloader.setOnDownloadListener(new Downloader.OnDownloadListener(){
      @Override public void onSuccess(      File file){
        try {
          if (BuildConfig.VERSION_CODE < Integer.valueOf(Common.fileContent(file).replace("String_Node_Str","String_Node_Str"))) {
            new AlertDialog.Builder(mContext).setTitle(R.string.update_available).setMessage(R.string.download_update).setPositiveButton(R.string.open_playstore,new DialogInterface.OnClickListener(){
              @Override public void onClick(              DialogInterface dialog,              int which){
                startActivity(new Intent(Intent.ACTION_VIEW,Uri.parse("String_Node_Str" + getPackageName())));
              }
            }
).setCancelable(false).show();
          }
 else {
            if (Common.getBooleanPref(mContext,Const.PREF_NAME,Const.PREF_KEY_HIDE_UPDATE_HINTS)) {
              Toast.makeText(mContext,R.string.app_uptodate,Toast.LENGTH_SHORT).show();
            }
          }
        }
 catch (        IOException ignore) {
        }
      }
      @Override public void onFail(      Exception e){
        Toast.makeText(mContext,R.string.failed_update,Toast.LENGTH_SHORT).show();
      }
    }
);
    downloader.download();
  }
 catch (  MalformedURLException ignore) {
  }
}

Fixed version (ground truth):
/** 
 * Checks if new version of Rashr is online and links to Play Store The current version number is stored on dslnexus.de/Android/rashr/version as plain text
 */
public void checkAppUpdates(){
  try {
    File versionsFile=new File(mContext.getFilesDir(),Const.VERSION);
    Downloader downloader=new Downloader(new URL(Const.RASHR_VERSION_URL),versionsFile);
    downloader.setOverrideFile(true);
    downloader.setOnDownloadListener(new Downloader.OnDownloadListener(){
      @Override public void onSuccess(      File file){
        try {
          final int ServerVersion=Integer.valueOf(Common.fileContent(file).replace("String_Node_Str","String_Node_Str"));
          if (BuildConfig.VERSION_CODE < ServerVersion) {
            new AlertDialog.Builder(mContext).setTitle(R.string.update_available).setMessage(R.string.download_update).setPositiveButton(R.string.open_playstore,new DialogInterface.OnClickListener(){
              @Override public void onClick(              DialogInterface dialog,              int which){
                startActivity(new Intent(Intent.ACTION_VIEW,Uri.parse("String_Node_Str" + getPackageName())));
              }
            }
).setCancelable(false).show();
          }
 else {
            if (Common.getBooleanPref(mContext,Const.PREF_NAME,Const.PREF_KEY_HIDE_UPDATE_HINTS)) {
              Toast.makeText(mContext,R.string.app_uptodate,Toast.LENGTH_SHORT).show();
            }
          }
        }
 catch (        IOException|NumberFormatException ignore) {
        }
      }
      @Override public void onFail(      Exception e){
        Toast.makeText(mContext,R.string.failed_update,Toast.LENGTH_SHORT).show();
      }
    }
);
    downloader.download();
  }
 catch (  MalformedURLException ignore) {
  }
}