Small question: should we pass the ``progressMonitor`` declared [here](https://github.com/scala-ide/scala-ide/pull/562/files#diff-996859918fdc3a389432c89fa45125ccR18)?