Minor documentation fix: title should refer to AS 7.2 not AS 7.1
HSEARCH-1296 JGroups backends always behaves like an ASYNC backend
HSEARCH-1296 Workaround for dispatcher speed problem (JGRP-1617)
HSEARCH-1296 Clarify logs on JChannel start
HSEARCH-1296 Log JGroups stack configuration in XML format
HSEARCH-1296 Refactoring
HSEARCH-1304 and HSEARCH-1305 Make deletage backends and timeouts configurable
HSEARCH-1296 HSEARCH-1304 and HSEARCH-1305: documentation updates for the JGroups backend