Program: 47114
Project: 47114
Buggy source:
@Test public void testGetSubCpOptionForMencoder_UTF() throws Exception {
  File file_utf8=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub1=new DLNAMediaSubtitle();
  sub1.setExternalFile(file_utf8);
  assertThat(getSubCpOptionForMencoder(sub1)).isNull();
  File file_utf8_2=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub2=new DLNAMediaSubtitle();
  sub2.setExternalFile(file_utf8_2);
  assertThat(getSubCpOptionForMencoder(sub2)).isNull();
  File file_utf16_le=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub3=new DLNAMediaSubtitle();
  sub3.setExternalFile(file_utf16_le);
  assertThat(getSubCpOptionForMencoder(sub3)).isNull();
  File file_utf16_be=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub4=new DLNAMediaSubtitle();
  sub4.setExternalFile(file_utf16_be);
  assertThat(getSubCpOptionForMencoder(sub4)).isNull();
  File file_utf32_le=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub5=new DLNAMediaSubtitle();
  sub5.setExternalFile(file_utf32_le);
  assertThat(getSubCpOptionForMencoder(sub5)).isNull();
  File file_utf32_be=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub6=new DLNAMediaSubtitle();
  sub6.setExternalFile(file_utf32_be);
  assertThat(getSubCpOptionForMencoder(sub6)).isNull();
  File file_utf8_3=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub7=new DLNAMediaSubtitle();
  sub7.setExternalFile(file_utf8_3);
  assertThat(getSubCpOptionForMencoder(sub7)).isNull();
}

Fixed version (ground truth):
@Test public void testGetSubCpOptionForMencoder_UTF() throws Exception {
  File file_utf8=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub1=new DLNAMediaSubtitle();
  sub1.setExternalFile(file_utf8,null);
  assertThat(getSubCpOptionForMencoder(sub1)).isNull();
  File file_utf8_2=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub2=new DLNAMediaSubtitle();
  sub2.setExternalFile(file_utf8_2,null);
  assertThat(getSubCpOptionForMencoder(sub2)).isNull();
  File file_utf16_le=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub3=new DLNAMediaSubtitle();
  sub3.setExternalFile(file_utf16_le,null);
  assertThat(getSubCpOptionForMencoder(sub3)).isNull();
  File file_utf16_be=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub4=new DLNAMediaSubtitle();
  sub4.setExternalFile(file_utf16_be,null);
  assertThat(getSubCpOptionForMencoder(sub4)).isNull();
  File file_utf32_le=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub5=new DLNAMediaSubtitle();
  sub5.setExternalFile(file_utf32_le,null);
  assertThat(getSubCpOptionForMencoder(sub5)).isNull();
  File file_utf32_be=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub6=new DLNAMediaSubtitle();
  sub6.setExternalFile(file_utf32_be,null);
  assertThat(getSubCpOptionForMencoder(sub6)).isNull();
  File file_utf8_3=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub7=new DLNAMediaSubtitle();
  sub7.setExternalFile(file_utf8_3,null);
  assertThat(getSubCpOptionForMencoder(sub7)).isNull();
}