Spring Data Redis/Jedis compatibility

The first run of the new versions indicated that there were
compatibility problems between versions of Spring Data Redis and
Jedis.  This change pins their versions for certain builds to ensure
compatibility.