Fixes to infinispan user session provider