Updated DE to changes in PKB. Change to set instead of vector.