[gatein-issues] [JBoss JIRA] Resolved: (GTNPORTAL-1256) When adding a portlet to a page, HTML header is not refreshed