How about the following:
```
EditorTab tab = _tabOfFile[file];
if (tab != null) {
  tab.label = file.name;
}
```