Regarding http://docs.basex.org/wiki/Options#HTTP_Services , I see there's an option STOPPORT to change the server stop port.
I think it should be possible to configure the server listen port (default 8984) there as well. I realise it's possible to do this through command line options, but it would be nice to be able to do it in the .basex file too. Thanks, Thomas