public HuffmanCountingBloomFilter(final Hashtable<Short,Integer> distribution, final Short[] cbf, final Short maxlen) {
		this.huff = new Huffman<Short>(distribution);
		this.rate = maxlen;
		this.maxlen = maxlen;
		this.filter = encodeFilter(cbf);
	}