Preventing crash in case of deleted file in the workspace

Merged Eclipse Webmaster requested to merge github/fork/elnrnag/master into master

Created by: elnrnag

Merge request reports