I am facing the same problem now. Did you get a solution to the problem ?
In fact the port is changing from any given port to 80.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4192245#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...