Get mapped port for JMXRMI as well as JMXMP