Do we need this method? The only user seems ``askOptionWithReload``, which doesn't seem to be used anywhere as I mentioned [in this comment](https://github.com/scala-ide/scala-ide/pull/562/files#r7721113)