tokenizeLines();
	public void setTokenMarker(TokenMarker tm)	{		if(tm == null)			throw new NullPointerException("token marker cannot be null");		tokenMarker = tm;		tokenMarker.insertLines(0,getDefaultRootElement().getElementCount());		tokenizeLines();	}