[java] Why doesn't java.io.File have a close method?