The reason is that we handle VIEW events only in down(), but since FRAG2 usually sits somewhere above GMS, we will never get these events !

SOLUTION:

• Handle VIEW in up() as well
• Make sure all fragments from a crashed or left member X are discarded
• Add a JMX operation to manually clear the fragmentation table for X, or for all members

Note that this applies to FRAG as well, but we'll shortly deprecate FRAG anyway