--- a/DebugClients/Python/coverage/results.py	Tue Jan 04 18:18:38 2011 +0100
+++ b/DebugClients/Python/coverage/results.py	Tue Jan 04 18:44:51 2011 +0100
@@ -172,4 +172,7 @@
         # Implementing 0+Numbers allows us to sum() a list of Numbers.
         if other == 0:
             return self
-        raise NotImplemented
\ No newline at end of file
+        raise NotImplemented
+
+#
+# eflag: FileType = Python2