Program: 146468
Project: 146468
Buggy source:
@Override protected void onPostExecute(Map<String,Status> statuses){
  AppWidgetManager appWidgetManager=AppWidgetManager.getInstance(appContext);
  for (  int widgetId : pairWidgets.keySet()) {
    RemoteViews views=new RemoteViews(appContext.getPackageName(),R.layout.appwidget_layout);
    Status status=statuses.get(PairUtils.localToServer(pairWidgets.get(widgetId)));
    if (status == null) {
      continue;
    }
    double price=status.ticker.getLast();
    String priceString;
    if (price > 1) {
      priceString=new DecimalFormat("String_Node_Str").format(price);
    }
 else {
      priceString=String.valueOf(price);
    }
    views.setTextViewText(R.id.widgetCurrencyValue,priceString);
    views.setTextViewText(R.id.widgetPair,pairWidgets.get(widgetId));
    int colorValue=status.color;
    views.setTextColor(R.id.widgetCurrencyValue,colorValue);
    Intent intent=new Intent(AppWidgetManager.ACTION_APPWIDGET_UPDATE);
    intent.setClass(appContext,WidgetProvider.class);
    Bundle bundle=new Bundle();
    bundle.putIntArray(AppWidgetManager.EXTRA_APPWIDGET_IDS,appWidgetManager.getAppWidgetIds(new ComponentName(appContext,WidgetProvider.class)));
    intent.putExtras(bundle);
    PendingIntent pi=PendingIntent.getBroadcast(appContext,0,intent,PendingIntent.FLAG_UPDATE_CURRENT);
    views.setOnClickPendingIntent(R.id.widgetContainer,pi);
    SimpleDateFormat df=new SimpleDateFormat("String_Node_Str",Locale.US);
    Calendar calendar=Calendar.getInstance();
    views.setTextViewText(R.id.widgetDate,df.format(calendar.getTime()));
    appWidgetManager.updateAppWidget(widgetId,views);
  }
}

Fixed version (ground truth):
@Override protected void onPostExecute(Map<String,Status> statuses){
  AppWidgetManager appWidgetManager=AppWidgetManager.getInstance(appContext);
  for (  int widgetId : pairWidgets.keySet()) {
    RemoteViews views=new RemoteViews(appContext.getPackageName(),R.layout.appwidget_layout);
    Status status=statuses.get(pairWidgets.get(widgetId));
    if (status == null) {
      continue;
    }
    double price=status.ticker.getLast();
    String priceString;
    if (price > 1) {
      priceString=new DecimalFormat("String_Node_Str").format(price);
    }
 else {
      priceString=String.valueOf(price);
    }
    views.setTextViewText(R.id.widgetCurrencyValue,priceString);
    views.setTextViewText(R.id.widgetPair,pairWidgets.get(widgetId));
    int colorValue=status.color;
    views.setTextColor(R.id.widgetCurrencyValue,colorValue);
    Intent intent=new Intent(AppWidgetManager.ACTION_APPWIDGET_UPDATE);
    intent.setClass(appContext,WidgetProvider.class);
    Bundle bundle=new Bundle();
    bundle.putIntArray(AppWidgetManager.EXTRA_APPWIDGET_IDS,appWidgetManager.getAppWidgetIds(new ComponentName(appContext,WidgetProvider.class)));
    intent.putExtras(bundle);
    PendingIntent pi=PendingIntent.getBroadcast(appContext,0,intent,PendingIntent.FLAG_UPDATE_CURRENT);
    views.setOnClickPendingIntent(R.id.widgetContainer,pi);
    SimpleDateFormat df=new SimpleDateFormat("String_Node_Str",Locale.US);
    Calendar calendar=Calendar.getInstance();
    views.setTextViewText(R.id.widgetDate,df.format(calendar.getTime()));
    appWidgetManager.updateAppWidget(widgetId,views);
  }
}