public void setTokenMarker(TokenMarker tokenMarker)
public final void setTokenMarker(TokenMarker tokenMarker)
	public void setTokenMarker(TokenMarker tokenMarker)	{		document.setTokenMarker(tokenMarker);	}