change module.xml of org/jboss/as/clustering/infinispan