void (int start, int end, String newValue) { final int mappedStart = myPostProcessorHelper.mapOffset(start); final int mappedEnd = myPostProcessorHelper.mapOffset(end); myDocument.replaceString(mappedStart, mappedEnd, newValue); myPostProcessorHelper.updateResultRange(end - start, newValue.length()); }