Introduced property to specify the port used by JMX RMI Connector Server. Thus customers are able to connect to JMX through a firewall if a dedicated port is specified that is granted by firewall.

New property named JMXServerPort available in file

Default value is -1; meaning that port is randomly determined by JVM.