[jboss-user] [JBoss Portal] - Re: should window-name be unique ?