Minor fixes:
- change infinispan configuration filename (configuration_examples/Synthetic/benchmark.xml)
- use another infinispan version (plugins/infinispan4/pom.xml)