[jboss-as7-dev] https redirect-port calculated value or automatic retrieval instead of a fixed value?