[jboss-jira] [JBoss JIRA] Resolved: (JGRP-757) Merge Event.INFO and Event.CONFIG into one event