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