Program: 47112
Project: 47112
Buggy source:
@Test public void testSetExternalFile_UTF() throws Exception {
  File file_utf8=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub1=new DLNAMediaSubtitle();
  sub1.setExternalFile(file_utf8);
  assertThat(sub1.getSubCharacterSet()).isEqualTo(CHARSET_UTF_8);
  assertThat(sub1.isExternalFileUtf8()).isTrue();
  assertThat(sub1.isExternalFileUtf16()).isFalse();
  assertThat(sub1.isExternalFileUtf()).isTrue();
  File file_utf8_2=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub2=new DLNAMediaSubtitle();
  sub2.setExternalFile(file_utf8_2);
  assertThat(sub2.getSubCharacterSet()).isEqualTo(CHARSET_UTF_8);
  assertThat(sub2.isExternalFileUtf8()).isTrue();
  assertThat(sub2.isExternalFileUtf16()).isFalse();
  assertThat(sub2.isExternalFileUtf()).isTrue();
  File file_utf16_le=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub3=new DLNAMediaSubtitle();
  sub3.setExternalFile(file_utf16_le);
  assertThat(sub3.getSubCharacterSet()).isEqualTo(CHARSET_UTF_16LE);
  assertThat(sub3.isExternalFileUtf8()).isFalse();
  assertThat(sub3.isExternalFileUtf16()).isTrue();
  assertThat(sub3.isExternalFileUtf()).isTrue();
  File file_utf16_be=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub4=new DLNAMediaSubtitle();
  sub4.setExternalFile(file_utf16_be);
  assertThat(sub4.getSubCharacterSet()).isEqualTo(CHARSET_UTF_16BE);
  assertThat(sub4.isExternalFileUtf8()).isFalse();
  assertThat(sub4.isExternalFileUtf16()).isTrue();
  assertThat(sub4.isExternalFileUtf()).isTrue();
  File file_utf32_le=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub5=new DLNAMediaSubtitle();
  sub5.setExternalFile(file_utf32_le);
  assertThat(sub5.getSubCharacterSet()).isEqualTo(CHARSET_UTF_32LE);
  assertThat(sub5.isExternalFileUtf8()).isFalse();
  assertThat(sub5.isExternalFileUtf16()).isFalse();
  assertThat(sub5.isExternalFileUtf()).isTrue();
  File file_utf32_be=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub6=new DLNAMediaSubtitle();
  sub6.setExternalFile(file_utf32_be);
  assertThat(sub6.getSubCharacterSet()).isEqualTo(CHARSET_UTF_32BE);
  assertThat(sub6.isExternalFileUtf8()).isFalse();
  assertThat(sub6.isExternalFileUtf16()).isFalse();
  assertThat(sub6.isExternalFileUtf()).isTrue();
  File file_utf8_3=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub7=new DLNAMediaSubtitle();
  sub7.setExternalFile(file_utf8_3);
  assertThat(sub7.getSubCharacterSet()).isEqualTo(CHARSET_UTF_8);
  assertThat(sub7.isExternalFileUtf8()).isTrue();
  assertThat(sub7.isExternalFileUtf16()).isFalse();
  assertThat(sub7.isExternalFileUtf()).isTrue();
}

Fixed version (ground truth):
@Test public void testSetExternalFile_UTF() throws Exception {
  File file_utf8=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub1=new DLNAMediaSubtitle();
  sub1.setExternalFile(file_utf8,null);
  assertThat(sub1.getSubCharacterSet()).isEqualTo(CHARSET_UTF_8);
  assertThat(sub1.isExternalFileUtf8()).isTrue();
  assertThat(sub1.isExternalFileUtf16()).isFalse();
  assertThat(sub1.isExternalFileUtf()).isTrue();
  File file_utf8_2=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub2=new DLNAMediaSubtitle();
  sub2.setExternalFile(file_utf8_2,null);
  assertThat(sub2.getSubCharacterSet()).isEqualTo(CHARSET_UTF_8);
  assertThat(sub2.isExternalFileUtf8()).isTrue();
  assertThat(sub2.isExternalFileUtf16()).isFalse();
  assertThat(sub2.isExternalFileUtf()).isTrue();
  File file_utf16_le=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub3=new DLNAMediaSubtitle();
  sub3.setExternalFile(file_utf16_le,null);
  assertThat(sub3.getSubCharacterSet()).isEqualTo(CHARSET_UTF_16LE);
  assertThat(sub3.isExternalFileUtf8()).isFalse();
  assertThat(sub3.isExternalFileUtf16()).isTrue();
  assertThat(sub3.isExternalFileUtf()).isTrue();
  File file_utf16_be=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub4=new DLNAMediaSubtitle();
  sub4.setExternalFile(file_utf16_be,null);
  assertThat(sub4.getSubCharacterSet()).isEqualTo(CHARSET_UTF_16BE);
  assertThat(sub4.isExternalFileUtf8()).isFalse();
  assertThat(sub4.isExternalFileUtf16()).isTrue();
  assertThat(sub4.isExternalFileUtf()).isTrue();
  File file_utf32_le=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub5=new DLNAMediaSubtitle();
  sub5.setExternalFile(file_utf32_le,null);
  assertThat(sub5.getSubCharacterSet()).isEqualTo(CHARSET_UTF_32LE);
  assertThat(sub5.isExternalFileUtf8()).isFalse();
  assertThat(sub5.isExternalFileUtf16()).isFalse();
  assertThat(sub5.isExternalFileUtf()).isTrue();
  File file_utf32_be=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub6=new DLNAMediaSubtitle();
  sub6.setExternalFile(file_utf32_be,null);
  assertThat(sub6.getSubCharacterSet()).isEqualTo(CHARSET_UTF_32BE);
  assertThat(sub6.isExternalFileUtf8()).isFalse();
  assertThat(sub6.isExternalFileUtf16()).isFalse();
  assertThat(sub6.isExternalFileUtf()).isTrue();
  File file_utf8_3=FileUtils.toFile(CLASS.getResource("String_Node_Str"));
  DLNAMediaSubtitle sub7=new DLNAMediaSubtitle();
  sub7.setExternalFile(file_utf8_3,null);
  assertThat(sub7.getSubCharacterSet()).isEqualTo(CHARSET_UTF_8);
  assertThat(sub7.isExternalFileUtf8()).isTrue();
  assertThat(sub7.isExternalFileUtf16()).isFalse();
  assertThat(sub7.isExternalFileUtf()).isTrue();
}