gatein/gatein-portal — pull request #673 by haint (2013-10-21 10:19:40+00:00)
Title: GTNPORTAL-2751: <priority> in navigation.xml files ignored for merge imp...

...ortMode