}
}
}
} else {
// Toggle figures into and out of the selection
Iterator i = new CompoundIterator(freshFigures.iterator(),
staleFigures.iterator());
while (i.hasNext()) {
Figure f = (Figure) i.next();
Interactor r = f.getInteractor();
if ((r != null) && r instanceof SelectionInteractor) {
SelectionInteractor interactor = (SelectionInteractor) r;