distributor.hasExpired(),
distributor.isPersistent(),
distributor.getNumMessagesSent()));
}
return new SubscriptionTrace(identifier, instant.toString(), distributors, sub.getLiveDataHistory().getLastKnownValues().toString());
} else {
return new SubscriptionTrace(identifier);
}
}