if (!fIsActive) JavaPlugin.log(new Status(IStatus.WARNING, JavaPlugin.getPluginId(), IStatus.OK, "LinkedPositionUI is not active: "+fPositionCategoryName, new IllegalStateException()));
	public void setCurrentPosition(Position position, int caretOffset) {		if (!fFramePosition.equals(position)) {			fNeedRedraw= true;			fFramePosition= position;		}		fCaretOffset= caretOffset;	}