A method in `Util` for this might be useful. (At some point it could use `java.nio.file` methods to throw a specific `IOException` in case of failure.)