tokenMarker.linesChanged(ch.getIndex(),2);
	protected void fireRemoveUpdate(DocumentEvent evt)	{		if(tokenMarker != null)		{			DocumentEvent.ElementChange ch = evt.getChange(				getDefaultRootElement());			if(ch != null)			{				tokenMarker.linesChanged(ch.getIndex(),2);				tokenMarker.deleteLines(ch.getIndex() + 1,					ch.getChildrenRemoved().length -					ch.getChildrenAdded().length);			}			else			{				tokenMarker.linesChanged(getDefaultRootElement()					.getElementIndex(evt.getOffset()),1);			}		}		super.fireRemoveUpdate(evt);	}