patched the pooled JMS provider to make it easier to configure the size and implementation of the underlying session pool