// Getters for all statistics...
    public long getActiveRegistrations() { return registrationsActive.get(); }
    public long getNotificationsReceived() { return notificationsReceived.get(); }
    public long getFailoverEvents() { return failoverEvents.get(); }