I was undecided about that one. I wondered if we should only consider successful closing as proper closing for the latch. Looking at it again: As we catch all the exceptions anyhow (IndexOutput.close() is wrapped by `catch (Exception)` and the store is deleted with `deleteQuiet`), there might not be a difference between the two. I'll move it to the finally