[jboss-jira] [JBoss JIRA] (JGRP-1934) Add external protocol ID to jg-protocol-ids.xml

Add external protocol ID to jg-protocol-ids.xml ----------------------------------------------- Key: JGRP-1934 URL: https://issues.jboss.org/browse/JGRP-1934 Project: JGroups Issue Type: Feature Request Reporter: Bela Ban Assignee: Bela Ban Priority: Minor Fix For: 3.6.4 If some external project needs a protocol ID, allow to add an external protocol to {{jg-protocol-ids.xml}}. Possibly do the same for magic numbers ({{jg-magic-map.xml}}). This needs to be marked specially, so we don't try to load that protocol / class.