[jboss-user] [JBoss Portal] - Re: Run a third party servlet (inside a portlet, or how?)