Removed the protege file