try-resource, try-finally, file IO