Modificata classe PersistentManager come oggetto di tipo Server.