if (!exceeds(positions[i], event.getOffset(), event.getLength()))
if (includes(positions[i], event.getOffset(), event.getLength()))
	public void documentAboutToBeChanged(DocumentEvent event) {		IDocument document= event.getDocument();		// check if document change includes line delimiters		if (containsLineDelimiters(event.getText())) {			leave(true);			return;		}					Position[] positions= getPositions(document);		if (positions == null) {			leave(true);			return;		}						// find a valid position		for (int i= 0; i != positions.length; i++)			if (!exceeds(positions[i], event.getOffset(), event.getLength()))				return;				leave(true);	}