Description
Make the connector server port used for JMX configurable. Currently the second port (used for the JMXConnectorServer itself) is chosen using a fixed offset of 100 from the first port (the 'management' port, used for the RMIRegistry). This can continue to be the default behavior, but the ability to specify the second port explicitly should be added.