void (int offset, String value) { final int mappedOffset = myPostProcessorHelper.mapOffset(offset); myDocument.insertString(mappedOffset, value); myPostProcessorHelper.updateResultRange(0, value.length()); }