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.