Is this already covered by the fileOutputStream.close() in the finally block?