void (boolean success) { super.moveOffsetAfter(success); if (myOccurrenceMarkers != null) { for (RangeMarker marker : myOccurrenceMarkers) { marker.dispose(); } } if (myExprMarker != null && !isRestart()) { myExprMarker.dispose(); } }