private void handleTmpView ( View v ) { Address new_coord = v . getCoord ( ) ; if ( new_coord != null && ! new_coord . equals ( coord ) && local_addr != null && local_addr . equals ( new_coord ) ) handleViewChange ( v ) ; }
an immediate change of view . See JGRP - 1452 .