Redid the commit from pull request #453. This changes the Jedis API.