Move annotation-based version of Jedis example to my Annotations project, 'cos Eclipse doesn't like the package structure of Javatypestate.