I recommend to use the binding manager, here all ports are changed with one configuration.
Editing different files will mess up and you have to edit the files each time if you install a newer JBoss version.
Reply to this message by going to Community
Start a new discussion in JNDI and Naming at Community