Simple high availability component using JGroups