gatein/gatein-portal — pull request #389 by ppalaga (2013-04-10 15:27:26+00:00)
Title: GTNPORTAL-2741 Replace refs to gatein_objects_1_3 with

gatein_objects_1_4

... and remove elements from the navigation.xml files.