Modified DigestStore.java so it does not use BitSet any longer. BitSet was using low-level classes that could not be correctly cloned and restored