Samples of code for using the Jedis java api for redis