If I change the AutoDiscoveryAddress and AutoDiscoveryGroup port in cluster-service.xml, do I also need to change the jndi.properties settings in the server configuration all/conf/jndi.properties ?Jason