// indices covering the former selection
harness.checkPoint("MULTIPLE_INTERVAL_SELECTION (2)");
m.addSelectionInterval(2, 3);
m.addSelectionInterval(12, 13);
lastEvent = null;
m.clearSelection();
harness.check(m.isSelectionEmpty(), true);
harness.check(m.getAnchorSelectionIndex(), 12);
harness.check(m.getLeadSelectionIndex(), 13);
harness.check(m.getMinSelectionIndex(), -1);
harness.check(m.getMaxSelectionIndex(), -1);