Merge pull request #725 from stianst/master

Fixes to infinispan user session provider