How can I redirect HTTP to HTTPS in JBoss 5.0.1?

    I have a customer using Jboss 5.0.1 GA and trying to redirect HTTP to HTTPS on port 443.

     

    I have been able to do this in JBoss 4.0.5 by:

     

    1) After setting the HTTPS port for 443, uncommenting the commented out HTTP section of the JBoss_Home\server\my_domain\deploy\jbossweb-tomcat55.sar\server.xml, and

     

    2)Updating the ..\deploy\jbossweb-tomcat55.sar\conf\web.xml file with the following addition:

     

    <security-constraint>
    <web-resource-collection>
    <web-resource-name>Protected Context</web-resource-name>
    <url-pattern>/*</url-pattern>
    </web-resource-collection>
    <user-data-constraint> <transport-guarantee>CONFIDENTIAL</transport-guarantee>
    </user-data-constraint>
    </security-constraint>

     

    ----------------------------------

    This doesn't seem to work in JBoss 5.0.1, in that it appears that I am trying to redirect to the default port of 8443, not the 443 entered into the server.xml referenced above.

     

    If anyone has done this or has an idea of where I am going wrong, I would appreciate your help.

     

    Thanks,

    Frank M.