How to change the Mysql database port?

- In Synchrony 4.0, change the port in the scripts DB_MySQL.bat located in Synchrony\database\BUNDLED\scripts

on Unix, change the scripts DB_Start.sh and DB_Stop.sh

- In Synchrony 4.1 or 4.2, change the port in the properties file SynchronyDatabaseManager.properties, located in Synchrony_41_CK/Synchrony_Database/properties