[crash] file properties

[jazzer]

I had a file in the project.
I saved it as a file with another name and occasionally pressed in the editor's context menu 'Properties'. (Maybe I deleted it from the project as well, I don't remember exactly)
IDE crashed.

I didn't try to reproduce it.