Have the various *File objects which provide a close method declare as such with java.io.Closeable, to make tidying them up automatically easier. Fixes #8