Yes, it should use this code, and should perhaps fail if opened twice. Not sure on that. Making the staging file an output stream (or, rather, a `RandomAccessFile`) in its own right would fix that.