- lineElement.getStartOffset();
- lineElement.getStartOffset() - 1;
	public int getLineLength(int line)	{		Element lineElement = document.getDefaultRootElement()			.getElement(line);		if(lineElement == null)			return -1;		else			return lineElement.getEndOffset()				- lineElement.getStartOffset();	}