groovyとJRedisでソースリストから最後の要素を削除して値を別のリストの最初に追加する

groovyとJRedisでソースリストから最後の要素を削除して値を別のリストの最初に追加するには、以下のコードを実行します。

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

jrc = new JRedisClient("192.168.1.25", 6379)
jrc.rpush("key1", "value1")
jrc.rpush("key1", "value2")
jrc.rpush("key1", "value3")
// ソースリストから最後の要素を取得・削除して値を
// 別のリストの最初に追加する
jrc.rpoplpush("key1", "key2")
for(elem in jrc.lrange("key1", 0, -1)){
  println "value@key1:" + DefaultCodec.toStr(elem)
}
for(elem in jrc.lrange("key2", 0, -1)){
  println "value@key2:" + DefaultCodec.toStr(elem)
}
jrc.del("key1")
jrc.del("key2")

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

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