int newOffset= ((ITextSelection)fEditor.getSelectionProvider().getSelection()).getOffset(); assertEquals(offset, newOffset);
	private void setCaret(int offset) {		fEditor.getSelectionProvider().setSelection(new TextSelection(offset, 0));	}