}
// Added (bug discovered by MM):
// rollback extent participants too!
Enumeration enumm = null;
Extent extent = ct_.getExtent ();
if ( extent != null ) {
enumm = extent.getParticipants ().elements ();
while ( enumm.hasMoreElements () ) {
Participant part = (Participant) enumm.nextElement ();
// participants_.push ( part );
addParticipant ( part );
}