Replaced empty destructors with NonCopyable #7427