Avoid importing java.io.File (the idea is to simplify verifying the file system abstraction is really used everywhere)