[jboss-dev-forums] [Design of JBoss Portal] - Re: Portal clustering problem, a JBoss cache issue??