Rename IntegerSet.cpp to IntegerSet.h