Changed the digest manager's backing set

From HashSet to TreeSet.