GWT-636 Override default infinispan cache location
Merge pull request #41 from geomajas/GWT-636

GWT-636 Override default infinispan cache location

Merging as this is a bugfix request