#2067: file.__exit__() now calls subclasses' close() method.
3 files changed