.close() in a finally block