Program: 17560
Project: 17560
Buggy source:
private void setPredefinedOptions(){
  String BOARD=Build.BOARD.toLowerCase();
  String MODEL=Build.MODEL.toLowerCase();
  String MANUFACTURE=Build.MANUFACTURER.toLowerCase();
  if (MODEL.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (MODEL.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| MODEL.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") && MANUFACTURE.equals("String_Node_Str")) {
    DEV_NAME="String_Node_Str";
  }
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| MODEL.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str")) {
    DEV_NAME=("String_Node_Str");
  }
  if (BOARD.equals("String_Node_Str")) {
    DEV_NAME="String_Node_Str";
  }
  if (DEV_NAME.equals("String_Node_Str")) {
    DEV_NAME="String_Node_Str";
  }
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")) {
    RECOVERY_EXT="String_Node_Str";
  }
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")) {
    RECOVERY_TYPE=PARTITION_TYPE_RECOVERY;
    RECOVERY_EXT="String_Node_Str";
  }
  readDeviceInfos();
  if (!RecoveryPath.equals("String_Node_Str") && !isRecoveryOverRecovery()) {
    RECOVERY_TYPE=PARTITION_TYPE_DD;
  }
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")) {
    RECOVERY_TYPE=PARTITION_TYPE_SONY;
  }
  if (new File("String_Node_Str").exists()) {
    if (!isRecoveryDD()) {
      RECOVERY_TYPE=PARTITION_TYPE_MTD;
    }
    if (!isKernelDD()) {
      KERNEL_TYPE=PARTITION_TYPE_MTD;
    }
  }
  if (RecoveryPath.contains("String_Node_Str")) {
    RECOVERY_TYPE=PARTITION_TYPE_MTD;
  }
 else {
    RECOVERY_TYPE=PARTITION_TYPE_DD;
  }
  if (KernelPath.contains("String_Node_Str")) {
    KERNEL_TYPE=PARTITION_TYPE_MTD;
  }
 else {
    KERNEL_TYPE=PARTITION_TYPE_DD;
  }
}

Fixed version (ground truth):
private void setPredefinedOptions(){
  String BOARD=Build.BOARD.toLowerCase();
  String MODEL=Build.MODEL.toLowerCase();
  String MANUFACTURE=Build.MANUFACTURER.toLowerCase();
  if (MODEL.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (MODEL.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| MODEL.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") && MANUFACTURE.equals("String_Node_Str")) {
    DEV_NAME="String_Node_Str";
  }
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| BOARD.equals("String_Node_Str")|| MODEL.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str")) {
    DEV_NAME=("String_Node_Str");
  }
  if (BOARD.equals("String_Node_Str")) {
    DEV_NAME="String_Node_Str";
  }
  if (DEV_NAME.equals("String_Node_Str")) {
    DEV_NAME="String_Node_Str";
  }
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")) {
    RECOVERY_EXT="String_Node_Str";
  }
  if (BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (BOARD.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || BOARD.equals("String_Node_Str") || MODEL.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str"))   DEV_NAME="String_Node_Str";
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")|| DEV_NAME.equals("String_Node_Str")) {
    RECOVERY_TYPE=PARTITION_TYPE_RECOVERY;
    RECOVERY_EXT="String_Node_Str";
  }
  readDeviceInfos();
  if (!RecoveryPath.equals("String_Node_Str") && !isRecoveryOverRecovery()) {
    RECOVERY_TYPE=PARTITION_TYPE_DD;
  }
  if (DEV_NAME.equals("String_Node_Str") || DEV_NAME.equals("String_Node_Str")) {
    RECOVERY_TYPE=PARTITION_TYPE_SONY;
  }
  if (new File("String_Node_Str").exists()) {
    if (!isRecoveryDD()) {
      RECOVERY_TYPE=PARTITION_TYPE_MTD;
    }
    if (!isKernelDD()) {
      KERNEL_TYPE=PARTITION_TYPE_MTD;
    }
  }
  if (!RecoveryPath.equals("String_Node_Str")) {
    if (RecoveryPath.contains("String_Node_Str")) {
      RECOVERY_TYPE=PARTITION_TYPE_MTD;
    }
 else {
      RECOVERY_TYPE=PARTITION_TYPE_DD;
    }
  }
  if (!KernelPath.equals("String_Node_Str")) {
    if (KernelPath.contains("String_Node_Str")) {
      KERNEL_TYPE=PARTITION_TYPE_MTD;
    }
 else {
      KERNEL_TYPE=PARTITION_TYPE_DD;
    }
  }
}