if(index < tokenMarker.getLineCount()) {  tokenMarker.linesChanged(index,1); }
	protected void fireInsertUpdate(DocumentEvent evt)	{		if(tokenMarker != null)		{			DocumentEvent.ElementChange ch = evt.getChange(				getDefaultRootElement());			if(ch != null)			{				int index = ch.getIndex();				int len = ch.getChildrenAdded().length -					ch.getChildrenRemoved().length;//				System.err.println("ch:" + index + ":" + 1);				tokenMarker.linesChanged(index,1);//				System.err.println("insert:" + (index + 1) + ":" + len);				tokenMarker.insertLines(ch.getIndex() + 1,len);				index += (len + 1);				if(index < tokenMarker.getLineCount())				{//					System.err.println("ch:" + index + ":" + 1);					tokenMarker.linesChanged(index,1);				}			}			else			{				tokenMarker.linesChanged(getDefaultRootElement()					.getElementIndex(evt.getOffset()),1);			}		}		super.fireInsertUpdate(evt);	}