This is for #9400
fix lint
Merge pull request #9425 from adobe/jeff/fix-9400-rebased

Don't trigger DocumentManager.pathDeleted on document objects too soon