[jboss-user] [JBoss Getting Started Documentation] - Re: How to use ports-10 in $JBOSS_HOME/docs/examples/sample-