--- a/GDBMI_thread_list_ids.st	Fri May 26 08:03:41 2017 +0100
+++ b/GDBMI_thread_list_ids.st	Fri May 26 08:05:28 2017 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "{ Package: 'jv:libgdbs' }"
 
 "{ NameSpace: Smalltalk }"