Fix name of jgroups config.  Fix potential NPEs.
Fix critical bugs in DifferentialSynchronizationStrategy.