[infinispan-dev] TotalOrder and jgroups