Description
When a pooled session is destroyed, it could be more helpful to invoke #refresh() operation before #logout() invocation.
Sometimes a custom repository could have some sophisticated feature like caching which can be cleared only by #refresh() calls.