publicizes ServerRegistrationService so it can be used in a custom startup and fixes issue with BatchedDatabaseServerMessenger using the BatchedServerMessenger name.