I realise this is as it was previously written, but what purpose does `Exceptions.propagate()` serve here? Why not simply `throw new IOException(...)`?