Program: 62880
Project: 62880
Buggy source:
private static NotificationDetails from(Map<String,Object> arguments){
  NotificationDetails notificationDetails=new NotificationDetails();
  notificationDetails.payload=(String)arguments.get(PAYLOAD);
  notificationDetails.id=(Integer)arguments.get(ID);
  notificationDetails.title=(String)arguments.get(TITLE);
  notificationDetails.body=(String)arguments.get(BODY);
  if (arguments.containsKey(MILLISECONDS_SINCE_EPOCH)) {
    notificationDetails.millisecondsSinceEpoch=(Long)arguments.get(MILLISECONDS_SINCE_EPOCH);
  }
  if (arguments.containsKey(CALLED_AT)) {
    notificationDetails.calledAt=(Long)arguments.get(CALLED_AT);
  }
  if (arguments.containsKey(REPEAT_INTERVAL)) {
    notificationDetails.repeatInterval=RepeatInterval.values()[(Integer)arguments.get(REPEAT_INTERVAL)];
  }
  @SuppressWarnings("String_Node_Str") Map<String,Object> platformChannelSpecifics=(Map<String,Object>)arguments.get(PLATFORM_SPECIFICS);
  if (platformChannelSpecifics != null) {
    notificationDetails.autoCancel=(Boolean)arguments.get(AUTO_CANCEL);
    notificationDetails.ongoing=(Boolean)arguments.get(ONGOING);
    notificationDetails.style=NotificationStyle.values()[(Integer)platformChannelSpecifics.get(STYLE)];
    ProcessStyleInformation(notificationDetails,platformChannelSpecifics);
    notificationDetails.icon=(String)platformChannelSpecifics.get(ICON);
    notificationDetails.priority=(Integer)platformChannelSpecifics.get(PRIORITY);
    notificationDetails.playSound=(Boolean)platformChannelSpecifics.get(PLAY_SOUND);
    notificationDetails.sound=(String)platformChannelSpecifics.get(SOUND);
    notificationDetails.enableVibration=(Boolean)platformChannelSpecifics.get(ENABLE_VIBRATION);
    notificationDetails.vibrationPattern=(long[])platformChannelSpecifics.get(VIBRATION_PATTERN);
    notificationDetails.groupKey=(String)platformChannelSpecifics.get(GROUP_KEY);
    notificationDetails.setAsGroupSummary=(Boolean)platformChannelSpecifics.get(SET_AS_GROUP_SUMMARY);
    notificationDetails.groupAlertBehavior=(Integer)platformChannelSpecifics.get(GROUP_ALERT_BEHAVIOR);
    getChannelInformation(notificationDetails,platformChannelSpecifics);
  }
  return notificationDetails;
}

Fixed version (ground truth):
public static NotificationDetails from(Map<String,Object> arguments){
  NotificationDetails notificationDetails=new NotificationDetails();
  notificationDetails.payload=(String)arguments.get(PAYLOAD);
  notificationDetails.id=(Integer)arguments.get(ID);
  notificationDetails.title=(String)arguments.get(TITLE);
  notificationDetails.body=(String)arguments.get(BODY);
  if (arguments.containsKey(MILLISECONDS_SINCE_EPOCH)) {
    notificationDetails.millisecondsSinceEpoch=(Long)arguments.get(MILLISECONDS_SINCE_EPOCH);
  }
  if (arguments.containsKey(CALLED_AT)) {
    notificationDetails.calledAt=(Long)arguments.get(CALLED_AT);
  }
  if (arguments.containsKey(REPEAT_INTERVAL)) {
    notificationDetails.repeatInterval=RepeatInterval.values()[(Integer)arguments.get(REPEAT_INTERVAL)];
  }
  @SuppressWarnings("String_Node_Str") Map<String,Object> platformChannelSpecifics=(Map<String,Object>)arguments.get(PLATFORM_SPECIFICS);
  if (platformChannelSpecifics != null) {
    notificationDetails.autoCancel=(Boolean)arguments.get(AUTO_CANCEL);
    notificationDetails.ongoing=(Boolean)arguments.get(ONGOING);
    notificationDetails.style=NotificationStyle.values()[(Integer)platformChannelSpecifics.get(STYLE)];
    ProcessStyleInformation(notificationDetails,platformChannelSpecifics);
    notificationDetails.icon=(String)platformChannelSpecifics.get(ICON);
    notificationDetails.priority=(Integer)platformChannelSpecifics.get(PRIORITY);
    notificationDetails.playSound=(Boolean)platformChannelSpecifics.get(PLAY_SOUND);
    notificationDetails.sound=(String)platformChannelSpecifics.get(SOUND);
    notificationDetails.enableVibration=(Boolean)platformChannelSpecifics.get(ENABLE_VIBRATION);
    notificationDetails.vibrationPattern=(long[])platformChannelSpecifics.get(VIBRATION_PATTERN);
    notificationDetails.groupKey=(String)platformChannelSpecifics.get(GROUP_KEY);
    notificationDetails.setAsGroupSummary=(Boolean)platformChannelSpecifics.get(SET_AS_GROUP_SUMMARY);
    notificationDetails.groupAlertBehavior=(Integer)platformChannelSpecifics.get(GROUP_ALERT_BEHAVIOR);
    getChannelInformation(notificationDetails,platformChannelSpecifics);
  }
  return notificationDetails;
}