Я использую сервер jboss 4.2 и oracle xe, оба имеют одинаковый порт, т.е. 8080, поэтому я хочу изменить свой порт jBoss для запуска нашего приложения, пожалуйста, скажите мне, как изменить порт в jboss.
Я знаю, как изменить порт в Tomcat, но я не нашел в jboss.