The name was intended, since dumpfileDirectoryManager is already used elsewhere for DirectoryManagers for the parent directory. I have changed the name to localDumpfileDirectoryManager and added a documentation now to clarify the meaning.