Para modificar los puertos de la plataforma hay que evitar hacerlo en la configuración de origen donde están los defaults (platform/project.properties). El modo correcto es copiar los que quieran editarse al local.properties del proyecto.
Del archivo platform/project.properties podemos tomar como ejemplo los defaults:
tomcat.http.port=9001
tomcat.ssl.port=9002
tomcat.ajp.port=8009
tomcat.jmx.port=9003
tomcat.jmx.server.port=9004
De estos se copia el (o los) que se quiera editar al local.properties del proyecto.
Una vez que se realiza la modificación hay que hacer un ant deploy o un ant clean all:
$ PLATFORM_HOME=/opt/hybris/bin/platform
$ export -p PLATFORM_HOME
$ cd $PLATFORM_HOME
$ . ./setantenv.sh
$ ./hybrisserver.sh stop
$ ant deploy
$ ./hybrisserver.sh start
Chequear en el log los puertos con los que inició:
$ grep -E '.*Starting.*nio.*' /opt/hybris/log/tomcat/console-$(date +'%Y%m%d').log
También se puede chequear con netstat o ss:
$ netstat -tunlp | grep java
$ ss -nlp | grep java