Benchmarks for cache2k and third-party Java caching products