[jboss-jira] [JBoss JIRA] (JGRP-1002) Merge: make the coordinator remain the same if possible after a merge