--- a/DebugClients/Python/coverage/control.py Sat Apr 12 16:19:56 2014 +0200
+++ b/DebugClients/Python/coverage/control.py Sat Apr 12 16:57:18 2014 +0200
@@ -777,3 +777,6 @@
# A hack for debugging testing in subprocesses.
_TEST_NAME_FILE = "" #"/tmp/covtest.txt"
+
+#
+# eflag: FileType = Python2