GTNPORTAL-3322 Improvements of handling of <priority> in navigation.xml