Delete DoubleHashTable.h