Delete StringSet.h