I have a website hosted on JBoss using the following domain: www.example.com. The DNS is pointing to http://server:80 address within the company. I am looking to redirect the homepage seto on port 80 to a different HTML homepage. How can the redirection be achieved in JBoss?