Added an interface, NavigationalFileManager now implements FileManager