Take GM's view of the live members each time we have a death message; don't assume the master will always be able to write updates to Mnesia.
More consistent naming.
Oops
Merged bug25745 into stable
Merged stable into default