Hi Jean,
I am not so sure, whether it is not going to work. I hope it will. It surely works on "raw" Tomcat - that is what I have verified myself and as Tomcat is base for JBoss Web Server, I assumed it will work also there. In Tomcat, deployed web application gets bound to both ports.
I will try some workaround, also the one you've suggested. But, it is only workaround for something that probably shall work without workarounding.
Martin