NavigationalFileManager methods now synchronized