A compressed alternative to the Java BitSet class