Program: 47111
Project: 47111
Buggy source:
@Test public void testSetExternalFile_charset() throws Exception {
  File file_big5=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub1=new DLNAMediaSubtitle();
  sub1.setExternalFile(file_big5);
  assertThat(sub1.getSubCharacterSet()).isEqualTo(CHARSET_BIG5);
  assertThat(sub1.isExternalFileUtf8()).isFalse();
  assertThat(sub1.isExternalFileUtf16()).isFalse();
  assertThat(sub1.isExternalFileUtf()).isFalse();
  File file_gb18030=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub2=new DLNAMediaSubtitle();
  sub2.setExternalFile(file_gb18030);
  assertThat(sub2.getSubCharacterSet()).isEqualTo(CHARSET_GB18030);
  assertThat(sub2.isExternalFileUtf8()).isFalse();
  assertThat(sub2.isExternalFileUtf16()).isFalse();
  assertThat(sub2.isExternalFileUtf()).isFalse();
  File file_cp1251=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub3=new DLNAMediaSubtitle();
  sub3.setExternalFile(file_cp1251);
  assertThat(sub3.getSubCharacterSet()).isEqualTo(CHARSET_WINDOWS_1251);
  assertThat(sub3.isExternalFileUtf8()).isFalse();
  assertThat(sub3.isExternalFileUtf16()).isFalse();
  assertThat(sub3.isExternalFileUtf()).isFalse();
  File file_koi8_r=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub5=new DLNAMediaSubtitle();
  sub5.setExternalFile(file_koi8_r);
  assertThat(sub5.getSubCharacterSet()).isEqualTo(CHARSET_KOI8_R);
  assertThat(sub5.isExternalFileUtf8()).isFalse();
  assertThat(sub5.isExternalFileUtf16()).isFalse();
  assertThat(sub5.isExternalFileUtf()).isFalse();
}

Fixed version (ground truth):
@Test public void testSetExternalFile_charset() throws Exception {
  File file_big5=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub1=new DLNAMediaSubtitle();
  sub1.setExternalFile(file_big5,null);
  assertThat(sub1.getSubCharacterSet()).isEqualTo(CHARSET_BIG5);
  assertThat(sub1.isExternalFileUtf8()).isFalse();
  assertThat(sub1.isExternalFileUtf16()).isFalse();
  assertThat(sub1.isExternalFileUtf()).isFalse();
  File file_gb18030=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub2=new DLNAMediaSubtitle();
  sub2.setExternalFile(file_gb18030,null);
  assertThat(sub2.getSubCharacterSet()).isEqualTo(CHARSET_GB18030);
  assertThat(sub2.isExternalFileUtf8()).isFalse();
  assertThat(sub2.isExternalFileUtf16()).isFalse();
  assertThat(sub2.isExternalFileUtf()).isFalse();
  File file_cp1251=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub3=new DLNAMediaSubtitle();
  sub3.setExternalFile(file_cp1251,null);
  assertThat(sub3.getSubCharacterSet()).isEqualTo(CHARSET_WINDOWS_1251);
  assertThat(sub3.isExternalFileUtf8()).isFalse();
  assertThat(sub3.isExternalFileUtf16()).isFalse();
  assertThat(sub3.isExternalFileUtf()).isFalse();
  File file_koi8_r=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub5=new DLNAMediaSubtitle();
  sub5.setExternalFile(file_koi8_r,null);
  assertThat(sub5.getSubCharacterSet()).isEqualTo(CHARSET_KOI8_R);
  assertThat(sub5.isExternalFileUtf8()).isFalse();
  assertThat(sub5.isExternalFileUtf16()).isFalse();
  assertThat(sub5.isExternalFileUtf()).isFalse();
}