add stuff from jgroups-lock