Program: 165218
Project: 165218
Buggy source:
private Notification createInstalledSummaryNotification(ArrayList<AppUpdateStatusManager.AppUpdateStatus> installed){
  String title=context.getString(R.string.notification_summary_installed,installed.size());
  StringBuilder text=new StringBuilder();
  NotificationCompat.BigTextStyle bigTextStyle=new NotificationCompat.BigTextStyle();
  bigTextStyle.setBigContentTitle(title);
  for (int i=0; i < MAX_INSTALLED_TO_SHOW && i < installed.size(); i++) {
    AppUpdateStatusManager.AppUpdateStatus entry=installed.get(i);
    App app=entry.app;
    if (text.length() > 0)     text.append("String_Node_Str");
    text.append(app.name);
  }
  bigTextStyle.bigText(text);
  if (installed.size() > MAX_INSTALLED_TO_SHOW) {
    int diff=installed.size() - MAX_INSTALLED_TO_SHOW;
    bigTextStyle.setSummaryText(context.getString(R.string.notification_summary_more,diff));
  }
  Intent intentObject=new Intent(context,FDroid.class);
  PendingIntent piAction=PendingIntent.getActivity(context,0,intentObject,0);
  NotificationCompat.Builder builder=new NotificationCompat.Builder(context).setAutoCancel(!useStackedNotifications()).setSmallIcon(R.drawable.ic_launcher).setColor(ContextCompat.getColor(context,R.color.fdroid_blue)).setContentTitle(title).setContentText(text).setContentIntent(piAction).setLocalOnly(true).setVisibility(NotificationCompat.VISIBILITY_SECRET);
  if (useStackedNotifications()) {
    builder.setGroup(GROUP_INSTALLED).setGroupSummary(true);
  }
  Intent intentDeleted=new Intent(BROADCAST_NOTIFICATIONS_ALL_INSTALLED_CLEARED);
  PendingIntent piDeleted=PendingIntent.getBroadcast(context,0,intentDeleted,0);
  builder.setDeleteIntent(piDeleted);
  return builder.build();
}

Fixed version (ground truth):
private Notification createInstalledSummaryNotification(ArrayList<AppUpdateStatusManager.AppUpdateStatus> installed){
  String title=context.getString(R.string.notification_summary_installed,installed.size());
  StringBuilder text=new StringBuilder();
  NotificationCompat.BigTextStyle bigTextStyle=new NotificationCompat.BigTextStyle();
  bigTextStyle.setBigContentTitle(title);
  for (int i=0; i < MAX_INSTALLED_TO_SHOW && i < installed.size(); i++) {
    AppUpdateStatusManager.AppUpdateStatus entry=installed.get(i);
    App app=entry.app;
    if (text.length() > 0) {
      text.append("String_Node_Str");
    }
    text.append(app.name);
  }
  bigTextStyle.bigText(text);
  if (installed.size() > MAX_INSTALLED_TO_SHOW) {
    int diff=installed.size() - MAX_INSTALLED_TO_SHOW;
    bigTextStyle.setSummaryText(context.getString(R.string.notification_summary_more,diff));
  }
  Intent intentObject=new Intent(context,FDroid.class);
  PendingIntent piAction=PendingIntent.getActivity(context,0,intentObject,0);
  NotificationCompat.Builder builder=new NotificationCompat.Builder(context).setAutoCancel(!useStackedNotifications()).setSmallIcon(R.drawable.ic_launcher).setColor(ContextCompat.getColor(context,R.color.fdroid_blue)).setContentTitle(title).setContentText(text).setContentIntent(piAction).setLocalOnly(true).setVisibility(NotificationCompat.VISIBILITY_SECRET);
  if (useStackedNotifications()) {
    builder.setGroup(GROUP_INSTALLED).setGroupSummary(true);
  }
  Intent intentDeleted=new Intent(BROADCAST_NOTIFICATIONS_ALL_INSTALLED_CLEARED);
  PendingIntent piDeleted=PendingIntent.getBroadcast(context,0,intentDeleted,0);
  builder.setDeleteIntent(piDeleted);
  return builder.build();
}