jboss如何修改端口

我用的是jboss-3.0.4_tomcat-4.1.12整合版,默认的8080端口被oracle的一个不知名的服务给占了,如何修改jboss的8080端口

搞定了,修改server\default\deploy下tomcat41-service.xml