--- a/DebugClients/Python/coverage/files.py	Sun Apr 13 15:45:57 2014 +0200
+++ b/DebugClients/Python/coverage/files.py	Tue Apr 15 22:41:08 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