#6919 Open editor from project explorer

As of Eclipse version 4.28, no resource can be opened from the project explorer in the corresponding editor.