[Bug 38521] SourceNaviator crashes on exit