groovyとJRedisで指定したkeyの値をデクリメントする

groovyとJRedisで指定したkeyの値をデクリメントするには、以下のコードを実行します。

import org.jredis.ri.alphazero.*
import org.jredis.ri.alphazero.support.*

jrc = new JRedisClient("192.168.1.25", 6379)
jrc.set("key1", "20")
jrc.decr("key1")
println "value:" + DefaultCodec.toStr(jrc.get("key1"))
jrc.decrby("key1",10)
println "value:" + DefaultCodec.toStr(jrc.get("key1"))

※jredis-core-all-a.0-SNAPSHOT-jar-with-dependencies.jarを
$GROOVY_HOME/libにコピーしておく。

動作環境
groovy 1.7.6, JDK6 Update23, JRedis2.0.0