Bug 41849 [typing] LinkedPositionManager sets illegal positions
Eclipse: 200308201005 on Mac OS X Jaguar Files I'm editing and saving are not being saved to disk. There are no errors in the logs. It appears that this is an editor problem, because the compiler compiles what is on disk. Chang
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/link/LinkedPositionManager.java
Position[] positions= document.getPositions(fPositionCategoryName);
			Arrays.sort(positions, fgPositionComparator);
			return positions;
		} catch (BadPositionCategoryException e) {
			JavaPlugin.log(e);
			Assert.isTrue(false);
		}
		
		return null;
	}	
	public static boolean includes(Position position, int offset, int length) {
		return
			(offset >= position.getOffset()) &&
			(offset + length <= position.getOffset() + position.getLength());
	}
	public static boolean excludes(Position position, int offset, int length) {
		return
			(offset + length <= position.getOffset()) ||
			(position.getOffset() + position.getLength() <= offset);
	}
	/*
	 * Collides if spacing if positions intersect each other or are adjacent.
	 */
	private static boolean collides(Position position, int offset, int length) {
		return
			(offset <= position.getOffset() + position.getLength()) &&
			(position.getOffset() <= offset + length);	
	}
	
	private void leave(boolean success) {