void () { RangeMarker marker = createMarker("01[234]56789"); deleteString(marker.getDocument(), 0, 1); assertEquals(1, marker.getStartOffset()); assertEquals(4, marker.getEndOffset()); assertTrue(marker.isValid()); }