Thanks for insisting on this, the code is indeed much nicer now. Have a look at https://github.com/dotta/scala-ide/commit/33f9aa0687377af6ad81fdb7a30280a9b359125f