harness.checkPoint("SINGLE_SELECTION (1)");
DefaultListSelectionModel m = new DefaultListSelectionModel();
m.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
m.addSelectionInterval(3, 3);
m.addListSelectionListener(this);
m.insertIndexInterval(3, 2, true);
harness.check(m.isSelectedIndex(3), false);
harness.check(m.isSelectedIndex(4), false);
harness.check(m.isSelectedIndex(5), true);
harness.check(m.getAnchorSelectionIndex(), 5);
harness.check(m.getLeadSelectionIndex(), 5);