It's the port-offset, so if it's non-zero then we need to add it (see https://community.jboss.org/thread/195330). But if it's non-zero then I think it needs to be added to all of the server's ports, which I don't think it is.

I'd be happy for us to remove this config key.