void () { RangeMarkerEx marker1 = createMarker("012345678901234567", 5,6); DocumentEx document = (DocumentEx)marker1.getDocument(); document.createRangeMarker(3, 5); document.createRangeMarker(6, 7); document.createRangeMarker(4, 4); marker1.dispose(); }