A better compressed bitset in Java