add missing SortedSet.js