public close() as Void:
Closes the provider session and invalidates manager-owned repositories.
An active transaction is rolled back. This operation is idempotent.
manager.close()