some cluster coordination utils for jgroups/spring