object is destroyed. The destructor now closes the file if needed. The close()
method can now be called twice: the second call does nothing.