Comment on Headdress

Is there any way of changing the default port to something other than 9000? Google Desktop uses that so it's a small inconvenience.