Issues 246, 247. Fixed issues with navigator refresh with renaming and
deleting resources. Added temporary workaround for race condition when
reloading the explorer resources and selecting new navigator elements.