now, if you want, you can add a message 
to the release 4 rc1 topic
[quote=“gwynnbleiidd, post:13, topic:59”]
Add to manual…
If you want change defoult Tomcat port.Go to /etc/tomcat7/ server.xmlFind line
redirectPort="8443" />[/quote]
I see, so we could add a warning
for this problem into the documentation… 
@mfaure, does the install script check the tomcat port ? 