xetorthio/jedis — pull request #330 by zhupan (2012-08-13 02:38:20+00:00)
Title: Sharded Performance improvement

'SortedMap.isEmpty()' performance is much higher than 'SortedMap.size()==0'