The default base address is 6500. You can set it to a different port by specifing a value from 0 to 99, which is added to the base 6500 value.
For example:
# The offset from server name port serverNumber=0
Expected type: integer.