Currently I use a very naive BitSet implementation. We should replace it with a better performing, compressed BitSet.