Delete StringDemarkation.h