if (!fIsActive)  JavaPlugin.log(new Status(IStatus.WARNING, JavaPlugin.getPluginId(), IStatus.OK, "LinkedPositionManager is not active: "+fPositionCategoryName, new IllegalStateException()));
	private Position[] getPositions(IDocument document) {		try {			Position[] positions= document.getPositions(fPositionCategoryName);			Arrays.sort(positions, fgPositionComparator);			return positions;		} catch (BadPositionCategoryException e) {			JavaPlugin.log(e);			Assert.isTrue(false);		}				return null;	}	