TokenMarker marker = getTokenMarker();  if(marker == null) return new NullTokenMarker();  return (TokenMarker)marker.clone();
return (TokenMarker)getTokenMarker().clone();
	public TokenMarker createTokenMarker()	{		// load if necessary		TokenMarker marker = getTokenMarker();		if(marker == null)			return new NullTokenMarker();		return (TokenMarker)marker.clone();	}