[jboss-user] [JBoss Portal] - Where is the portal properties file for PortalContext, or ho