Class org.jgroups.protocols.pbcast.STABLE.StableHeader is not used by any class in this documentation set.