public BlockCursor[] duplicateCursors()
{
BlockCursor[] duplicates = new BlockCursor[cursors.size()];
for (int i = 0; i < cursors.size(); i++) {
BlockCursor cursor = cursors.get(i);
duplicates[i] = cursor.duplicate();
}
return duplicates;
}
public void finished()