fDocument.replace(getOffset() + offset, length, change);
final int base= getOffset() + offset; final String content= fDocument.get(base, length);  if (!change.equals(content)) fDocument.replace(getOffset() + offset, length, change);
	protected void applyText(final String change, final int offset, final int length) {		try {			fDocument.replace(getOffset() + offset, length, change);		} catch (BadLocationException exception) {			// Should not happen		}	}