[infinispan-issues] [JBoss JIRA] (ISPN-10097) Remove unused "start" attribute from server config