Configurable liferay port with server.xml and support for multiple themes