How to change port number of Jboss 7 dynamically

How to change port number of Jboss 7 dynamically

I have grouped my Jboss 7 server, Postgres database and test.bat into a
demo.exe file using Advanced Installer. When file i.e demo.exe file double
clicked on the client side then test.bat file runs and it deploys JBoss
and postgres at the predefined location and the service starts and my
application runs at the port number 8080 .All the script has been writeen
to test.bat file .This demo.exe file has to used by different users . It
may be possible that 8080 might be used or engaged by different
application on client side.
So how can i change port number of jboss dynamically on the client side as
per port usage? Do i have to use any Jboss installer or write scipt on
batch file i.e test.bat ? Not able to click things or right approach :(
Any help will be highly appreciated and will be thankful .