A simple high availability Java Redis client