I am facing an issue when I am trying to set both jmx and rmi port to the same value. I added below two lines in my tomcat setenv.sh file but it was not having any effect because I saw rmiregistry was...