Change the default port for the server from 5432 to 15432