JBoss の起動ポートを変える

色々やり方がありますが、本当に簡単に、ポートをずらしたいだけなら、

$ ./run.sh -Djboss.service.binding.set=ports-01

でOK。8180 番で起動します。

詳細はこちら。
http://community.jboss.org/wiki/ConfigurePorts