* Releases the given session using the provider from which it was acquired.
*/
public synchronized void releaseSession(Session session) {
SessionProvider provider = sessions.remove(session);
if (provider != null) {
provider.releaseSession(session);
}
}
}