void () { RangeMarker marker1 = createMarker("01234567890123456", 0, 1); DocumentEx document = (DocumentEx)marker1.getDocument(); RangeMarker marker2 = document.createRangeMarker(2, 3); RangeMarker marker3 = document.createRangeMarker(4, 5); RangeMarker marker4 = document.createRangeMarker(6, 7); RangeMarker marker5 = document.createRangeMarker(8, 9); RangeMarker marker6 = document.createRangeMarker(10, 11); RangeMarker marker7 = document.createRangeMarker(12, 13); RangeMarker marker8 = document.createRangeMarker(14, 15); deleteString(document, 1, 2); assertTrue(marker2.isValid()); assertTrue(marker3.isValid()); assertTrue(marker4.isValid()); assertTrue(marker5.isValid()); assertTrue(marker6.isValid()); assertTrue(marker7.isValid()); assertTrue(marker8.isValid()); }