I just read the JavaDoc of ``IContentProvider.inputChanged``, and is says:

```
The viewer should not be updated during this call, as it might be in the process of being disposed.
```

So, I'm wondering now, why do we call refresh?