[jboss-jira] [JBoss JIRA] (JGRP-1387) MERGE3: merging in large clusters