--- a/DebugClients/Python/coverage/files.py	Sat Apr 12 16:19:56 2014 +0200
+++ b/DebugClients/Python/coverage/files.py	Sat Apr 12 16:57:18 2014 +0200
@@ -307,3 +307,6 @@
             # characters that probably mean they are editor junk.
             if re.match(r"^[^.#~!$@%^&*()+=,]+\.pyw?$", filename):
                 yield os.path.join(dirpath, filename)
+
+#
+# eflag: FileType = Python2