Program: 19180
Project: 19180
Buggy source:
protected Notification createProgressNotification(int count,int current){
  Intent intent=createOngoingEventIntent();
  if (intent != null)   intent.addFlags(Intent.FLAG_ACTIVITY_CLEAR_TOP | Intent.FLAG_ACTIVITY_NEW_TASK);
  NotificationCompat.Builder nb=new NotificationCompat.Builder(this);
  nb.setSmallIcon(R.drawable.ic_launcher);
  nb.setOngoing(true);
  int percent=0;
  if (count > 0)   percent=((current * 100) / count);
  if (Build.VERSION.SDK_INT < Build.VERSION_CODES.ICE_CREAM_SANDWICH) {
    extractColors();
    RemoteViews contentView=new RemoteViews(getPackageName(),R.layout.notification_download);
    contentView.setTextViewText(R.id.progress_title,getText(actionTextId));
    contentView.setTextColor(R.id.progress_title,notification_title_color);
    contentView.setFloat(R.id.progress_title,"String_Node_Str",notification_title_size);
    contentView.setTextColor(R.id.progress_text,notification_text_color);
    if (count <= 0) {
      contentView.setProgressBar(R.id.progress_bar,0,0,true);
    }
 else {
      contentView.setProgressBar(R.id.progress_bar,count,current,false);
    }
    contentView.setTextViewText(R.id.progress_text,percent + "String_Node_Str");
    nb.setContent(contentView);
  }
 else {
    if (count <= 0) {
      nb.setProgress(0,0,true);
    }
 else {
      nb.setProgress(count,current,false);
      nb.setContentText(String.format("String_Node_Str",current,count,percent));
    }
    nb.setContentTitle(getText(actionTextId));
  }
  nb.setContentIntent(PendingIntent.getActivity(getBaseContext(),0,intent,0));
  return nb.build();
}

Fixed version (ground truth):
protected Notification createProgressNotification(int count,int current){
  Intent intent=createOngoingEventIntent();
  if (intent != null)   intent.addFlags(Intent.FLAG_ACTIVITY_CLEAR_TOP | Intent.FLAG_ACTIVITY_NEW_TASK);
  NotificationCompat.Builder nb=new NotificationCompat.Builder(this);
  nb.setSmallIcon(R.drawable.ic_launcher);
  nb.setOngoing(true);
  nb.setWhen(0);
  int percent=0;
  if (count > 0)   percent=((current * 100) / count);
  if (Build.VERSION.SDK_INT < Build.VERSION_CODES.ICE_CREAM_SANDWICH) {
    extractColors();
    RemoteViews contentView=new RemoteViews(getPackageName(),R.layout.notification_download);
    contentView.setTextViewText(R.id.progress_title,getText(actionTextId));
    contentView.setTextColor(R.id.progress_title,notification_title_color);
    contentView.setFloat(R.id.progress_title,"String_Node_Str",notification_title_size);
    contentView.setTextColor(R.id.progress_text,notification_text_color);
    if (count <= 0) {
      contentView.setProgressBar(R.id.progress_bar,0,0,true);
    }
 else {
      contentView.setProgressBar(R.id.progress_bar,count,current,false);
    }
    contentView.setTextViewText(R.id.progress_text,percent + "String_Node_Str");
    nb.setContent(contentView);
  }
 else {
    if (count <= 0) {
      nb.setProgress(0,0,true);
    }
 else {
      nb.setProgress(count,current,false);
      nb.setContentText(String.format("String_Node_Str",current,count,percent));
    }
    nb.setContentTitle(getText(actionTextId));
  }
  nb.setContentIntent(PendingIntent.getActivity(getBaseContext(),0,intent,0));
  return nb.build();
}