Se ha eliminado la duplicación del código de la clase Navigator