it.eng.spago.navigation
Classes 
LabelID
Navigator
Exceptions 
NavigationException