Re: [infinispan-dev] A tool for adjusting configuration