removing unused header file (Property.h)