When many nodes in a cluster crash simultaneously, the surviving node doesn't change its view.

To reproduce:

• Start 10 instances of Draw in a shell
• Start 1 instance in a different shell
• Kill shell #1
  ==> The view of the last instance doesn't go back to 1

This works fine in CVS head (2.7).