Near the end of class.method org.jboss.ha.framework.server.HAPartitionImpl.viewAccepted a debug statement prints out the size of old and new members. But this prints only the size of the new view and not the old one, because this.members and event.allMembers are filled with the list of the new view a few lines above. I will add a patch for JBoss-4.0.2.

I don't think this is a major issue, but the priority-field above is marked for committers only, so I left it untouched.