Modify JBossLauncher http port while copying xml file.

This removes the need to restart the server (noticeably reducing the
start-up time).