[infinispan-issues] [JBoss JIRA] (ISPN-1407) Make sure the server_list attribute of Hot Rod can be updated dynamically