That is not correct.
Server.xml should not be modified, and there is no corresponding .in file.
It should be modified using the zmprov ms
The search revealed:
Code:
sudo su
zmprov ms myserver.domain.com zimbraMailPort (port#) zimbraMailSSLPort (SSL#)
tomcat restart
Took about 5 seconds to find. 3rd result down.