Java Bloom Filter (Standard and couting) with redis backend