Magic number: should this be declared as a constant, or obtained via a getter (like the HTTP mgmt port, below)?