On 13 Dec 2010, at 11:44, Galder Zamarreņo wrote:

I get the feeling that the "Fine tuning JGroups settings section" is somehow duplicating info already available in http://community.jboss.org/docs/DOC-12352, wdyt?

Some of it, yes.  Not all.  Since we ship with our own JGroups config files, we have some of our own sys properties that can be used.  E.g., S3 credentials.

Cheers
Manik

--
Manik Surtani
manik@jboss.org
twitter.com/maniksurtani

Lead, Infinispan
http://www.infinispan.org